Maria Alpuente, Moreno Falaschi, Gines Moreno, 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: 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.