Elvira Albert, German Vidal  @ NUS Home/Search
Context Related
| dsic.upv.es/users/elp/germa...paper.pdf Cached: PS.gz PS PDF Image Update Help From: dsic.upv.es/users/elp/ge...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Partial evaluation is a semantics-based program optimization technique which has been investigated within di#erent programming paradigms and applied to a wide variety of languages. Recently, a partial evaluation framework for functional logic programs has been proposed. (Update)
Cited by: More
Transforming Interpreters into Inverse Interpreters by.. - Glück, Kawada, al. (2003) (Correct)
A Practical Partial Evaluation Scheme for Multi-Paradigm.. - Albert, Hanus, Vidal (2002) (Correct)
Time Equations for Lazy Functional (Logic) Languages - Albert, Silva, Vidal (Correct)
Active bibliography (related documents): More All
1.0: Specialization of Functional Logic Programs - Alpuente, Falaschi, Vidal (Correct)
0.6: A Practical Method for Program Specialization in a.. - Albert, Hanus, Vidal (2000) (Correct)
0.6: Realistic Program Specialization in a Multi-Paradigm Language - Albert, Hanus, Vidal (2000) (Correct)
Similar documents based on text: More All
0.6: Functional and (Constraint) Logic Programming, Proc. of the 12th.. - Vidal (2003) (Correct)
0.4: Specialization of Lazy Functional Logic Programs - Alpuente, al. (1997) (Correct)
0.4: Measuring the Effectiveness of Partial Evaluation in.. - Albert, Antoy, Vidal (2001) (Correct)
Related documents from co-citation: More All
7: Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
6: ectiveness of Partial Evaluation in Functional Logic Languages (context) - Albert, Antoy et al.
6: Partial Evaluation of Functional Logic Programs - Alpuente, Falaschi et al. - 1998
BibTeX entry: (Update)
E. Albert and G. Vidal. The Narrowing-Driven Approach to Functional Logic Program Specialization. New Generation Computing, 2001. To appear. http://citeseer.comp.nus.edu.sg/705370.html More
@misc{ albert01narrowingdriven,
author = "E. Albert and G. Vidal",
title = "The Narrowing-Driven Approach to Functional Logic Program Specialization",
text = "E. Albert and G. Vidal. The Narrowing-Driven Approach to Functional Logic
Program Specialization. New Generation Computing, 2001. To appear.",
year = "2001",
url = "citeseer.comp.nus.edu.sg/705370.html" }
Citations (may not include all citations):385 A Transformation System for Developing Recursive Programs - Darlington - 1977
353 Term Rewriting and All That (context) - Nipkow - 1998
224 Partial Evaluation in Logic Programming (context) - Shepherdson - 1991
206 Tutorial notes on Partial Evaluation (context) - Danvy
171 A Needed Narrowing Strategy - Echahed, Hanus - 2000
166 Unification Revisited (context) - Maher, Marriott - 1988
138 Functional Programming and Parallel Graph Rewriting (context) - Eekelen - 1993
98 Mix: A Self-Applicable Partial Evaluator for Experiments in .. (context) - Sestoft, Sndergaard
89 Curry: An Integrated Functional Logic Language (context) - ed - 2000
89 Kernel Leaf: A Logic plus Functional Language (context) - Levi, Moiso et al. - 1991
78 A Demand Driven Computation Strategy for Lazy Narrowing - Lopez-Fraguas, Rodrguez-Artalejo - 1993
58 Ensuring Global Termination of Partial Deduction while Allow.. - Gallagher - 1995
48 A Conceptual Embedding of Folding into Partial Deduction: To.. (context) - De Schreye, de Waal - 1996
44 Higher-Order Narrowing with Definitional Trees - Prehofer - 1999
39 Partial Evaluation of Functional Logic Programs - Falaschi, Vidal - 1998
38 Partial Deduction and Driving are Equivalent - Srensen - 1994
38 A General Criterion for Avoiding Infinite Unfolding (context) - De Schreye, Martens - 1992
37 Occam's Razor in Metacomputation: the Notion of a Perfect Pr.. (context) - Klimov - 1993
35 Logic Programming with Functions and Predicates: The languag.. (context) - Rodrguez-Artalejo
31 Specialization of Lazy Functional Logic Programs - Falaschi, Julian et al.
28 Narrowing-driven Partial Evaluation of Functional Logic Prog.. - Falaschi, Vidal - 1996
26 the Power of Homeomorphic Embedding for Online Termination (context) - On - 1998
17 A Comparative Revisitation of Some Program Transformation Te.. - Proietti
17 An Algorithm of Generalization in Positive Supercompilation (context) - Gluck - 1995
16 Improving Control in Functional Logic Program Specialization - Alpuente, Falaschi et al. - 1998
16 Specialization of Inductively Sequential Functional Logic Pr.. - Hanus, Lucas et al. - 1999
13 A Program Development Methodology Based on a Unified Approac.. (context) - Pull - 1988
13 The Universal Resolving Algorithm: Inverse Computation in a .. - Gluck - 2000
13 on Principles of Programming Languages (context) - ACM, Symp - 1993
13 A Self-Applicable Supercompiler - Pinchuk, Turchin - 1996
11 TOY: A Multiparadigm Declarative System (context) - Sanchez-Hernandez - 1999
11 Using an Abstract Representation to Specialize Functional Lo.. (context) - Hanus, Vidal - 2000
9 A Transformation System for CLP with Dynamic Scheduling and .. - Gabbrielli, Marchiori - 1997
9 A Practical Partial Evaluator for a MultiParadigm Declarativ.. - Hanus, Vidal - 2024
9 Controlling Generalization and Polyvariance in Partial Deduc.. - Martens, De Schreye - 1998
8 A Partial Evaluation Framework for Curry Programs - Alpuente, Hanus et al. - 1999
7 An Abstract Machine Based System for a Lazy Narrowing Calcul.. (context) - Ullan - 2001
6 An E#cient Abstract Machine for Curry (context) - Kuchen - 1999
5 Computations in Orthogonal Rewriting Systems, Part I + II (context) - Levy - 1992
5 Partial Evaluation of Functional Logic Programs in Rewriting.. - Gallagher - 1997
4 A Positive Supercompiler (context) - Gluck, Jones - 1996
2 Conjunctive Partial Deduction: Foundations, Control, Algorih.. (context) - Gluck, Jrgensen et al. - 1999
1 PAKCS 1.2: The Portland Aachen Kiel Curry System User Manual (context) - Antoy, Koj et al. - 2000
1 Measuring the E#ectiveness of Partial Evaluation in Function.. (context) - Antoy, Vidal - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dsic.upv.es/users/elp/german/papers.html): More
An Operational Semantics for Declarative.. - Albert, Hanus, Huch.. (2002) (Correct)
Forward Slicing by Partial Evaluation - Vidal (Correct)
Uniform Lazy Narrowing - Alpuente, Falaschi, Julian, Vidal (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.