María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal  Home/Search
Context
Related
| infoab.uclm.es/pers...iidsic2399.ps 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: infoab.uclm.es/persona...gmoreno (more) Homepages: G.Vidal |
Rate this article:      (best)Comment on this article |
Abstract: Needed narrowing is an optimal and 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 carry over to the transformation... (Update)
Similar documents based on text: More All
1.3: Lazy Narrowing and Needed Narrowing: A Comparison - Alpuente, Falaschi.. (Correct)
1.3: Uniform Lazy Narrowing - Alpuente, Falaschi, Julian, Vidal (Correct)
0.9: Automatic Tupling for Functional-Logic Programs - Moreno (2002) (Correct)
BibTeX entry: (Update)
@inproceedings{ afmv99,
Author = "M. Alpuente and M. Falaschi and G. Moreno and G. Vidal",
Title = "A {T}ransformation {S}ystem for {L}azy {F}unctional
{L}ogic {P}rograms",
Booktitle = "Proc.\ of the 4th Fuji Int'l Symp.\ on Functional
and Logic Programming, FLOPS'99",
publisher = "Springer LNCS 1722",
editor = "A. Middeldorp and T. Sato",
pages = "147-162",
Year = "1999",
url = "citeseer.ist.psu.edu/alpuente99transformationbased.html" }
Citations (may not include all citations):788 Rewrite Systems - Dershowitz, Jouannaud - 1990
474 Term Rewriting Systems - Klop - 1992
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. - 1994
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
78 A Demand Driven Computation Strategy for Lazy Narrowing - Loogen, L'opez-Fraguas et al. - 1993
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
54 A unified computation model for functional and logic program.. (context) - Hanus - 1997
48 Towards an Automated Tupling Strategy (context) - Chin
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
38 Recursive Applicative Program Schemes (context) - Courcelle - 1990
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 Basic Transformation Operations which preserve Computed Answ.. (context) - Bossi, Cocco - 1993
25 Program transformation (context) - Darlington - 1982
21 Listlessness is better than Laziness (context) - Wadler - 1985
18 Strongly sequential and inductively sequential term rewritin.. - Hanus, Lucas et al. - 1998
17 Unfoldfold Transformation Logic Program (context) - Shepherdson, Transformation et al. - 1991
16 Specialization of Inductively Sequential Functional Logic Pr.. - Alpuente, Hanus et al.
15 Deductive and Inductive Synthesis of Equational Programs - Dershowitz, Reddy - 1993
13 A Program Development Methodology Based on a Unified Approac.. (context) - Darlington, Pull - 1988
9 Preservation Stronger Equivalence UnfoldFold Logic Program T.. (context) - Kanamori, Stronger et al. - 1990
9 Safe foldingunfolding with conditional narrowing - Moreno, folding et al. - 1997
8 Unfoldfold program transformation (context) - fold, In et al. - 1985
3 The Transformation System synth (context) - Alpuente, Falaschi et al. - 1999
3 Effective Optimisation of Multiple Traversals in Lazy Langua.. - Chin, Goh et al. - 1999
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