Maria Alpuente, Moreno Falaschi, Gines Moreno, German Vidal  Home/Search
Context Related
| dsic.upv.es/pub/report...flops99a.ps.gz dsic.upv.es/users/elp/ger...paper.ps.gz 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/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Needed narrowing is a complete operational principle for modern declarative languages which integrate the best features of (lazy) functional and logic programming. We define a transformation methodology for functional logic programs based on needed narrowing. We provide (strong) 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... (Update)
Cited by: More
Rules + Strategies for Transforming Lazy Functional.. - Alpuente, Falaschi.. (2004) (Correct)
Towards Router Specification in Curry: The Language ROSE - Ramos, Silva, Vidal (Correct)
Transformation Rules for Locally Stratified.. - Fioravanti.. (2004) (Correct)
Similar documents (at the sentence level): More
71.8%: Transformation-based Strategies for Lazy Functional.. - Alpuente, Falaschi.. (1999) (Correct)
15.2%: Automatic Tupling for Functional-Logic Programs - Moreno (2002) (Correct)
13.2%: Specialization of Inductively Sequential Functional.. - Alpuente, Hanus, Lucas, .. (1999) (Correct)
Active bibliography (related documents): More All
0.5: UPV-Curry: An Incremental Curry Interpreter with.. - Alpuente, Escobar, Lucas (1999) (Correct)
0.2: Specialization of Functional Logic Programs - Alpuente, Falaschi, Vidal (Correct)
0.2: Rules and Strategies for Transforming Functional and Logic.. - Pettorossi, Proietti (1996) (Correct)
Similar documents based on text: More All
1.4: Uniform Lazy Narrowing - Alpuente, Falaschi, Julian, Vidal (Correct)
1.4: Lazy Narrowing and Needed Narrowing: A Comparison - Alpuente, Falaschi.. (Correct)
0.9: SYNTH User's Manual - Alpuente, Ferri, Vidal, Moreno, al. (1999) (Correct)
Related documents from co-citation: More All
12: The Integration of Functions into Logic Programming: From Theory to Practice (context) - Hanus - 1994
12: A Needed Narrowing Strategy - Antoy, Echahed et al. - 1994
8: Towards an automated tupling strategy (context) - Chin - 1993
BibTeX entry: (Update)
M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal. A transformation system for lazy functional logic programs. Technical report, DSIC, 1999. http://citeseer.ist.psu.edu/alpuente99transformation.html More
@inproceedings{ alpuente99transformation,
author = "Mar\'ia Alpuente and Moreno Falaschi and Gin\'es Moreno and Germ\'an Vidal",
title = "A Transformation System for Lazy Functional Logic Programs",
booktitle = "Fuji International Symposium on Functional and Logic Programming",
pages = "147-162",
year = "1999",
url = "citeseer.ist.psu.edu/alpuente99transformation.html" }
Citations (may not include all citations):385 A Transformation System for Developing Recursive Programs - Burstall, Darlington - 1977
353 Term Rewriting and All That (context) - Baader, Nipkow - 1998
324 Deforestation: Transforming programs to eliminate trees - Wadler - 1990
254 The Integration of Functions into Logic Programming: From Th.. (context) - Hanus - 1994
171 A Needed Narrowing Strategy - Antoy, Echahed et al. - 1994
139 Fold Transformations of Logic Programs (context) - Tamaki, Sato - 1984
129 Transformation of Logic Programs: Foundations and Techniques (context) - Pettorossi, Proietti - 1994
121 Logic Programming with Functions and Predicates: The languag.. (context) - Moreno-Navarro, Rodr'iguez-Artalejo - 1992
102 Computations in Orthogonal Rewriting Systems (context) - Huet, L'evy - 1992
89 Curry: An Integrated Functional Logic Language (context) - Hanus - 1999
84 Lambda Lifting: Transforming Programs to Recursive Equations - Johnsson - 1985
66 Definitional Trees - Antoy - 1992
54 A Unified Computation Model for Functional and Logic Program.. (context) - Hanus - 1997
54 Rules and Strategies for Transforming Functional and Logic P.. - Pettorossi, Proietti - 1996
48 Towards an Automated Tupling Strategy (context) - Chin - 1993
44 Total Correctness by Local Improvement in the Transformation.. - Sands - 1996
43 Curry: A Truly Functional Logic Language - Hanus, Kuchen et al. - 1995
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
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
24 fold Transformation of Logic Programs (context) - Gardner, Shepherdson - 1991
24 Preservation of Stronger Equivalence in Unfold /Fold Logic P.. (context) - Kawamura, Kanamori - 1990
21 Listlessness is better than Laziness (context) - Wadler - 1985
16 A Transformation System for Lazy Functional Logic Programs - Alpuente, Falaschi et al. - 1999
8 Available from URL: http://www (context) - Alpuente, Falaschi et al. - 1999
5 Fold Transformation Framework for Definite Logic Programs (context) - Roychoudhury, Kumar et al. - 1999
3 Effective Optimisation of Multiple Traversals in Lazy Langua.. - Chin, Goh et al. - 1999
2 Unfolding with Conditional Narrowing (context) - Alpuente, Falaschi et al. - 1997
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/papers.html): More
SYNTH User's Manual - Alpuente, Ferri, Vidal, Moreno, al. (1999) (Correct)
Reconfigurable Nets, a Class of High Level Petri Nets.. - Badouel, Oliver (1998) (Correct)
UPV-Curry User's Manual - Escobar, Alpuente, Lucas (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