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) Homepages: G.Vidal HPSearch (Update Links) |
Rate this article:      (best)Comment on this article |
Abstract: Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this paper, we study the semantic properties of a general transformation technique called unfolding in the context of functional logic languages. Unfolding a program is defined as the application of narrowing steps to the calls in the program rules in some appropriate form. We show that, unlike the case of pure logic or pure... (Update)
Context of citations to this paper: More
...introduction elimination, and abstraction. The first attempt to introduce these ideas in an integrated language is presented in [2], where we investigated fold unfold rules in the context of a strict (call by value) functional logic language. A transformation methodology...
Cited by: More
A Unifying View of Functional and Logic Program.. - Alpuente, Falaschi, Vidal (1998) (Correct)
Safe Folding/Unfolding with Conditional Narrowing - Alpuente, Falaschi, Moreno.. (1997) (Correct)
Rules + Strategies for Transforming Lazy Functional.. - Alpuente, Falaschi.. (2004) (Correct)
Active bibliography (related documents): More All
0.7: Narrowing-driven Specialization of Functional Logic Programs - Alpuente, Falaschi, Vidal (1996) (Correct)
0.5: Transformation-based Strategies for Lazy Functional.. - Alpuente, Falaschi.. (1999) (Correct)
0.4: Specialization of Functional Logic Programs - Alpuente, Falaschi, Vidal (Correct)
Similar documents based on text:
0.6: Narrowing-driven Partial Evaluation of Functional Logic.. - Alpuente, Falaschi, Vidal (1996) (Correct)
Related documents from co-citation: More All
9: The Integration of Functions into Logic Programming: From Theory to Practice (context) - Hanus - 1994
7: Term Rewriting and All That (context) - Baader, Nipkow - 1998
6: Transformation of logic programs: Foundations and techniques (context) - Pettorossi, Proietti - 1994
BibTeX entry: (Update)
M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal. Safe folding/unfolding with conditional narrowing. In H. Heering M. Hanus and K. Meinke, editors, Proc. of the International Conference on Algebraic and Logic Programming, ALP'97, Southampton (England), pages 1--15. Springer LNCS 1298, 1997. http://citeseer.comp.nus.edu.sg/707900.html More
@inproceedings{ afmv97,
Author = "M. Alpuente and M. Falaschi and G. Moreno and G. Vidal",
Title = "Safe {F}olding/{U}nfolding with {C}onditional {N}arrowing",
Booktitle = "Proc. of the International Conference on Algebraic
and Logic Programming, ALP'97",
Editor = "M. Hanus and H. Heering and K. Meinke",
Series = "Lecture Notes in Computer Science",
Publisher = "Springer-Verlag, Berlin",
Year = "1997",
Volume = 1298,
Pages = "1-15",
url = "citeseer.comp.nus.edu.sg/707900.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
254 The Integration of Functions into Logic Programming: From Th.. (context) - Hanus - 1994
224 Partial Evaluation in Logic Programming (context) - Lloyd, Shepherdson - 1991
172 Journal of Symbolic Computation (context) - Dershowitz, Rewriting - 1987
129 Transformation of Logic Programs: Foundations and Techniques (context) - Pettorossi, Proietti - 1994
87 Narrowing as the Operational Semantics of Functional Languag.. (context) - Reddy - 1985
81 SLOG: a logic programming language interpreter based on clau.. (context) - Fribourg - 1985
62 UnfoldFold Transformation Logic Program (context) - Sato, Transformations et al. - 1984
59 Foundations of Equational Logic Programming (context) - Holldobler - 1989
48 A Conceptual Embedding of Folding into Partial Deduction: To.. (context) - Leuschel, De Schreye et al. - 1996
47 Lazy Narrowing: Strong Completeness and Eager Variable Elimi.. - Middeldorp, Okui et al. - 1996
45 Completeness Results for Basic Narrowing - Middeldorp, Hamoen - 1994
39 Partial Evaluation of Functional Logic Programs - Alpuente, Falaschi et al. - 1996
29 Theoretical Computer Science (context) - Bosco, Giovannetti et al. - 1988
25 Basic Transformation Operations which preserve Computed Answ.. (context) - Bossi, Cocco - 1993
16 on Logic Programming (context) - Hanus, Variables et al. - 1995
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 Safe FoldingUnfolding with Conditional Narrowing - Moreno, Folding et al. - 1997
9 A Compositional Semantic Basis for the Analysis of Equationa.. - Alpuente, Falaschi et al. - 1996
9 Unfoldfold Transformation General Logic Program WellFounded .. (context) - fold, General et al. - 1993
9 Preservation of Stronger Equivalence in Unfold /Fold Logic P.. (context) - Kawamura, Kanamori - 1988
8 Unfoldfold program transformation (context) - fold, In et al. - 1985
6 Modular Transformations of CLP Programs (context) - Etalle, Gabbrielli - 1995
6 A Compositional Semantics for Conditional Term Rewriting Sys.. (context) - Alpuente, Falaschi et al. - 1994
2 cient Implementation of Narrowing and Rewriting (context) - Hanus - 1991
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 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.