See this document in CiteSeerX!

Specialization of Lazy Functional Logic Programs (1997)  (Make Corrections)  (31 citations)
Maria Alpuente, Moreno Falaschi, Pascual Julian, German Vidal
Partial Evaluation and Semantic-Based Program Manipulation



  Home/Search   Context   Related

 
View or download:
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  
(Enter summary)

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