Rules + Strategies for Transforming Lazy Functional Logic Programs (2004)  (Make Corrections)  
Maria Alpuente, Moreno Falaschi, Gines Moreno, German Vidal

 @ NUS   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: This work introduces a transformation methodology for functional logic programs based on needed narrowing, the optimal and complete operational principle for modern declarative languages which integrate the best features of functional and logic programming. We provide correctness results for the transformation system w.r.t. the set of computed values and answer substitutions and show that the prominent properties of needed narrowing---namely, the optimality w.r.t. the length of derivations and... (Update)

Similar documents (at the sentence level):
14.4%:   A Transformation System for Lazy Functional Logic Programs - Alpuente, Falaschi.. (1999)   (Correct)
14.0%:   Transformation-based Strategies for Lazy Functional.. - Alpuente, Falaschi.. (1999)   (Correct)
5.7%:   Specialization of Functional Logic Programs Based on.. - Alpuente, Hanus.. (1999)   (Correct)

Active bibliography (related documents):   More   All
1.1:   A Safe Transformation System for Optimizing Functional Programs - Moreno   (Correct)
0.7:   Automatic Tupling for Functional-Logic Programs - Moreno (2002)   (Correct)
0.5:   Program Generation, Termination, and Binding-time Analysis - Jones, Glenstrup (2002)   (Correct)

Similar documents based on text:   More   All
0.9:   Functional and (Constraint) Logic Programming, Proc. of the 12th.. - Vidal (2003)   (Correct)
0.8:   An Automatic Composition Algorithm for Functional Logic .. - Alpuente, Falaschi.. (2000)   (Correct)
0.6:   Specialization of Lazy Functional Logic Programs - Alpuente, al. (1997)   (Correct)

BibTeX entry:   (Update)

@misc{ alpuente-rules,
  author = "Maria Alpuente and Moreno Falaschi and Gines Moreno and German Vidal",
  title = "Rules + Strategies for Transforming Lazy Functional Logic Programs",
  url = "citeseer.comp.nus.edu.sg/699187.html" }
Citations (may not include all citations):
638   Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
385   A Transformation System for Developing Recursive Programs - Burstall, Darlington - 1977
353   Term Rewriting and All That (context) - Baader, Nipkow - 1998
254   The Integration of Functions into Logic Programming: From Th.. (context) - Hanus - 1994
171   A needed narrowing strategy - Antoy, Echahed et al. - 2000
129   Transformation of Logic Programs: Foundations and Techniques (context) - Pettorossi, Proietti - 1994
89   Curry: An Integrated Functional Logic Language (context) - Hanus - 2003
84   Lambda Lifting: Transforming Programs to Recursive Equations - Johnsson - 1985
66   Definitional trees - Antoy - 1992
62   UnfoldFold Transformation Logic Program (context) - Sato, Transformations et al. - 1984
54   Rules and Strategies for Transforming Functional and Logic P.. - Pettorossi, Proietti - 1996
48   Towards an Automated Tupling Strategy (context) - Chin - 1993
45   Call by Need Computations to Root-Stable Form - Middeldorp - 1997
44   Total Correctness by Local Improvement in the Transformation.. - Sands - 1996
43   Curry: A Truly Functional Logic Language - Hanus, Kuchen et al. - 1995
39   Partial Evaluation of Functional Logic Programs - Alpuente, Falaschi et al. - 1998
39   Journal of Functional Programming (context) - Srensen, Gluck et al. - 1996
38   A General Criterion for Avoiding Infinite Unfolding (context) - Bruynooghe, De Schreye et al. - 1992
38   Loop Checking in Partial Deduction (context) - Bol - 1993
35   Logic Programming with Functions and Predicates: The languag.. (context) - Moreno-Navarro, Rodrguez-Artalejo - 1992
33   Sequentiality in Orthogonal Term Rewriting Systems (context) - Klop, Middeldorp - 1991
33   A Survey and Classification of some Program Transformation A.. (context) - Feather - 1987
32   A Transformation System for Deductive Database Modules with .. (context) - Maher - 1993
29   An Experimental Program Transformation and Synthesis System (context) - Darlington - 1981
27   Conjunctive Partial Deduction: Foundations (context) - De Schreye, Gluck et al. - 1999
27   Equivalences and transformations of regular systems -- appli.. (context) - Courcelle - 1986
26   Parallel evaluation strategies for functional logic language.. - Antoy, Echahed et al. - 1997
25   Program Improvement by Internal Specialization (context) - Scherlis - 1981
25   Program transformation (context) - Darlington - 1982
25   Basic Transformation Operations which preserve Computed Answ.. (context) - Bossi, Cocco - 1993
23   Computations in orthogonal rewriting systems (context) - Huet, Levy - 1992
21   Listlessness is better than Laziness (context) - Wadler - 1985
20   The Portland Aachen Kiel Curry System User Manual (context) - Hanus, Antoy et al. - 2003
17   An Algorithm of Generalization in Positive Supercompilation (context) - Srensen, Gluck - 1995
17   Unfoldfold Transformation Logic Program (context) - Shepherdson, Transformation et al. - 1991
16   A Transformation System for Lazy Functional Logic Programs - Alpuente, Falaschi et al. - 1999
16   Specialization of Inductively Sequential Functional Logic Pr.. - Alpuente, Hanus et al. - 1999
9   Safe foldingunfolding with conditional narrowing - Moreno, folding et al. - 1997
9   Controlling Generalization and Polyvariance in Partial Deduc.. - Leuschel, Martens et al. - 1998
9   Preservation Stronger Equivalence UnfoldFold Logic Program T.. (context) - Kanamori, Stronger et al. - 1990
9   A Practical Partial Evaluation Scheme for Multi-Paradigm Dec.. - Albert, Hanus et al. - 2002
8   Unfoldfold program transformation (context) - fold, In et al. - 1985
3   The Transformation System synth (context) - Alpuente, Falaschi et al. - 1999
2   Automatic Optimization of Multi-Paradigm Declarative Program.. (context) - Moreno - 2002
2   ective Optimisation of Multiple Traversals in Lazy Languages (context) - Chin, Goh et al. - 1999
2   Synchronisation Analysis to Stop Tupling - Chin, Khoo et al. - 1998
1   Homeomorphic Embedding for Online Termination of Symbolic Me.. (context) - Leuschel - 2002

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.