Maria Alpuente, Moreno Falaschi, Pascual Julian, German Vidal  Home/Search
Context Related
| dsic.upv.es/users/elp/germa...paper.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF 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 method for program specialization based on fold/unfold transformations [8, 25]. Partial evaluation of pure functional programs uses mainly static values of given data to specialize the program [15, 44]. In logic programming, the so-called static/dynamic distinction is hardly present, whereas considerations of determinacy and choice points are far more important for control [12]. We discuss these issues in the context of a (lazy) functional logic language. We... (Update)
Cited by: More
A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
A Unifying View of Functional and Logic Program.. - Alpuente, Falaschi, Vidal (1998) (Correct)
The Narrowing-Driven Approach to Functional Logic Program.. - Albert, Vidal (2002) (Correct)
Similar documents (at the sentence level): More
31.2%: Call-by-Name Partial Evaluation of Functional Logic.. - Alpuente, Falaschi.. (1996) (Correct)
31.2%: Specialization of Lazy Functional Logic Programs - Alpuente, al. (1997) (Correct)
25.1%: Call-by-Name Specialization of Functional Logic Programs - Alpuente, Falaschi.. (Correct)
Active bibliography (related documents): More All
0.3: Inductive Theorem Proving for Design Specifications - Padawitz (1997) (Correct)
0.3: Specialization of Functional Logic Programs Based on.. - Alpuente, Hanus.. (1999) (Correct)
0.3: A Constraint-based Partial Evaluator for Functional Logic.. - Lafave (1998) (Correct)
Similar documents based on text: More All
0.8: Improving Control in Functional Logic Program.. - Albert, Alpuente.. (1998) (Correct)
0.6: Functional and (Constraint) Logic Programming, Proc. of the 12th.. - Vidal (2003) (Correct)
0.6: Experiments with the Call-by-Value Partial Evaluator - Alpuente, al. (1998) (Correct)
Related documents from co-citation: More All
19: A Needed Narrowing Strategy - Antoy, Echahed et al. - 1994
19: The Integration of Functions into Logic Programming: From Theory to Practice (context) - Hanus - 1994
18: Partial Evaluation of Functional Logic Programs - Alpuente, Falaschi et al. - 1998
BibTeX entry: (Update)
M. Alpuente, M. Falaschi, P. Juli'an, and G. Vidal. Specialization of lazy functional logic programs. In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'97, pages 151--162, New York, 1997. ACM Press. http://citeseer.ist.psu.edu/alpuente97specialization.html More
@inproceedings{ alpuente97specialization,
author = "Maria Alpuente and Moreno Falaschi and P. Julian and German Vidal",
title = "Specialization of Lazy Functional Logic Programs",
booktitle = "Partial Evaluation and Semantic-Based Program Manipulation",
pages = "151-162",
year = "1997",
url = "citeseer.ist.psu.edu/alpuente97specialization.html" }
Citations (may not include all citations):788 Rewrite Systems - Dershowitz, Jouannaud - 1990
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
474 Term Rewriting Systems - Klop - 1992
385 A Transformation System for Developing Recursive Programs - Burstall, Darlington - 1977
347 Fast Pattern Matching in Strings (context) - Knuth, Morris et al. - 1977
324 Deforestation: transforming programs to eliminate trees - Wadler - 1988
254 The Integration of Functions into Logic Programming: From Th.. (context) - Hanus - 1994
224 Partial Evaluation in Logic Programming (context) - Lloyd, Shepherdson - 1991
171 A Needed Narrowing Strategy - Antoy, Echahed et al. - 1994
166 Unification Revisited (context) - Lassez, Maher et al. - 1988
126 Canonical Forms and Unification (context) - Hullot - 1980
89 Kernel Leaf: A Logic plus Functional Language (context) - Giovannetti, Levi et al. - 1991
87 Narrowing as the Operational Semantics of Functional Languag.. (context) - Reddy - 1985
82 Tutorial on Specialisation of Logic Programs (context) - Gallagher - 1993
81 SLOG: a logic programming language interpreter based on clau.. (context) - Fribourg - 1985
78 A Demand Driven Computation Strategy for Lazy Narrowing - Loogen, Lopez-Fraguas et al. - 1993
71 Conditional Rewrite Rules: confluence and termination (context) - Bergstra, Klop - 1986
59 Foundations of Equational Logic Programming (context) - Holldobler - 1989
58 Ensuring Global Termination of Partial Deduction while Allow.. - Martens, Gallagher - 1995
52 Compiling Logic Programs with Equality (context) - Hanus - 1990
48 A Conceptual Embedding of Folding into Partial Deduction: To.. (context) - Leuschel, De Schreye et al. - 1996
48 Towards an Automated Tupling Strategy (context) - Chin - 1993
45 Completeness Results for Basic Narrowing - Middeldorp, Hamoen - 1994
43 Curry: A Truly Functional Logic Language - Hanus, Kuchen et al. - 1995
41 logic and functional programming language (context) - Bert, Echahed et al. - 1986
39 Journal of Functional Programming (context) - Srensen, Gluck et al. - 1996
38 Partial Deduction and Driving are Equivalent - Gluck, Srensen - 1994
37 Global Control for Partial Deduction through Characteristic .. (context) - Leuschel, Martens - 1995
35 Logic Programming with Functions and Predicates: The languag.. (context) - Moreno-Navarro, Rodriguez-Artalejo - 1992
30 Some Low-Level Source Transformations for Logic Programs - Gallagher, Bruynooghe - 1990
30 The Algorithm of Generalization in the Supercompiler (context) - Turchin - 1988
29 A Deterministic Lazy Narrowing Calculus - Middeldorp, Okui - 1995
28 Narrowing-driven Partial Evaluation of Functional Logic Prog.. - Alpuente, Falaschi et al. - 1996
26 The Theory of Well-Quasi-Ordering: A Frequently Discovered C.. (context) - Kruskal - 1972
26 The Essence of Program Transformation by Partial Evaluation .. (context) - Jones - 1994
23 Redundant Argument Filtering of Logic Programs - Leuschel, Srensen - 1996
19 Supporting Transformations for the Partial Evaluation of Log.. (context) - Benkerimi, Hill - 1993
17 An Algorithm of Generalization in Positive Supercompilation (context) - Srensen, Gluck - 1995
16 on Logic Programming (context) - Hanus, Variables et al. - 1995
10 Program Transformation by Supercompilation (context) - Turchin - 1985
8 Combining Lazy Narrowing with Simplification (context) - Hanus - 1994
8 Lazy Narrowing in a Graph Machine (context) - Kuchen, Loogen et al. - 1990
6 Turchin's Supercompiler Revisited: An Operational Theory of .. (context) - Srensen - 1994
5 Call-by-Name Partial Evaluation of Functional Logic Programs - Alpuente, Falaschi et al. - 1996
3 Improving basic narrowing techniques (context) - Rety - 1987
3 Narrowing-driven Specialization of Functional Logic Programs - Alpuente, Falaschi et al. - 1996
3 Unification in Conditional-Equational Theories (context) - Hussman - 1985
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 Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC