M. Alpuente, M. Falaschi, G. 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: Languages that integrate functional and logic programming with a complete operational semantics are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction principle of functional languages and the resolution principle of logic languages. (Update)
Context of citations to this paper: More
.... The basic algorithm (first phase) is formalized as an instance of the framework for the partial evaluation of functional logic programs of [2, 3], using lazy narrowing. However, the results inherited by [2, 3] mainly regard the termination of the PE method, while the (strong)...
Cited by: More
Specialization of Lazy Functional Logic Programs - Alpuente, Falaschi, Julian.. (1997) (Correct)
Narrowing-driven Partial Evaluation of Functional Logic.. - Alpuente, Falaschi, Vidal (1996) (Correct)
Similar documents (at the sentence level): More
14.8%: Specialization of Functional Logic Programs - Alpuente, Falaschi, Vidal (Correct)
14.6%: Partial Evaluation of Functional Logic Programs - Alpuente, Falaschi, Vidal (1998) (Correct)
5.9%: Call-by-Name Partial Evaluation of Functional Logic.. - Alpuente, Falaschi.. (1996) (Correct)
Active bibliography (related documents): More All
0.7: Safe Folding/Unfolding with Conditional Narrowing - Alpuente, Falaschi, Moreno.. (1997) (Correct)
0.7: The Integration of Functions into Logic Programming: A Survey - Hanus (1994) (Correct)
0.5: Conditional Equational Theories and Complete Sets of.. - Hölldobler (Correct)
Similar documents based on text: More All
0.4: Publications in Program Development - June Journal (Correct)
0.4: Experiments with the Call-by-Value Partial Evaluator - Alpuente, al. (1998) (Correct)
0.3: Improving Control in Functional Logic Program.. - Albert, Alpuente.. (1998) (Correct)
Related documents from co-citation: More All
3: Narrowing as the Operational Semantics of Functional Languages (context) - Reddy - 1985
3: Unification revisited (context) - Lassez, Maher et al. - 1988
3: Combining lazy narrowing with simplification (context) - Hanus - 1994
BibTeX entry: (Update)
M. Alpuente, M. Falaschi, and G. Vidal. Narrowing-driven Specialization of Functional Logic Programs. TR DSIC-II/33/96, Univ. Polit. Valencia. Extended and revised version of [2]. Available from URL http://www.dsic.upv.es/users/elp/papers.html, 1996. http://citeseer.comp.nus.edu.sg/699587.html More
@misc{ alpuente96narrowingdriven,
author = "M. Alpuente and M. Falaschi and G. Vidal",
title = "Narrowing-driven Specialization of Functional Logic Programs",
text = "M. Alpuente, M. Falaschi, and G. Vidal. Narrowing-driven Specialization
of Functional Logic Programs. TR DSIC-II/33/96, Univ. Polit. Valencia. Extended
and revised version of [2]. Available from URL http://www.dsic.upv.es/users/elp/papers.html,
1996.",
year = "1996",
url = "citeseer.comp.nus.edu.sg/699587.html" }
Citations (may not include all citations):788 Rewrite Systems - Dershowitz, Jouannaud - 1990
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
474 Term Rewriting Systems - Klop - 1992
385 A Transformation System for Developing Recursive Programs - Burstall, Darlington - 1977
347 Fast Pattern Matching in Strings (context) - Knuth, Morris et al. - 1977
324 Deforestation: transforming programs to eliminate trees - Wadler - 1988
254 The Integration of Functions into Logic Programming: From Th.. (context) - Hanus - 1994
224 Partial Evaluation in Logic Programming (context) - Lloyd, Shepherdson - 1991
221 Constraint Logic Programming (context) - Ja, Lassez - 1987
172 Journal of Symbolic Computation (context) - Dershowitz, Rewriting - 1987
166 Unification Revisited (context) - Lassez, Maher et al. - 1988
126 Canonical Forms and Unification (context) - Hullot - 1980
112 Partial Evaluation of Computation Process -- An Approach to .. - Futamura - 1971
87 Narrowing as the Operational Semantics of Functional Languag.. (context) - Reddy - 1985
82 Tutorial on Specialisation of Logic Programs (context) - Gallagher - 1993
82 semantics approach: Theory and applications (context) - Bossi, Gabbrielli et al. - 1994
81 SLOG: a logic programming language interpreter based on clau.. (context) - Fribourg - 1985
62 UnfoldFold Transformation Logic Program (context) - Sato, Transformations et al. - 1984
62 A structured approach to operational semantics (context) - Plotkin - 1981
59 Foundations of Equational Logic Programming (context) - Holldobler - 1989
58 Ensuring Global Termination of Partial Deduction while Allow.. - Martens, Gallagher - 1995
58 Ensuring Global Termination of Partial Deduction while Allow.. - Martens, Gallagher - 1994
52 Compiling Logic Programs with Equality (context) - Hanus - 1990
48 Basic narrowing revisited (context) - Nutt, Rety et al. - 1989
45 Completeness Results for Basic Narrowing - Middeldorp, Hamoen - 1994
41 logic and functional programming language (context) - Bert, Echahed et al. - 1986
39 Partial Evaluation as a Means for Inferencing Data Structure.. (context) - Komorowski - 1982
38 Partial Deduction and Driving are Equivalent - Gluck, Srensen - 1994
38 On completeness of narrowing strategies (context) - Echahed - 1988
38 A General Criterion for Avoiding Infinite Unfolding (context) - Bruynooghe, de Schreye et al. - 1992
37 Occam's Razor in Metacomputation: the Notion of a Perfect Pr.. (context) - Gluck, Klimov - 1993
30 Some Low-Level Source Transformations for Logic Programs - Gallagher, Bruynooghe - 1990
30 The Algorithm of Generalization in the Supercompiler (context) - Turchin - 1988
29 Theoretical Computer Science (context) - Bosco, Giovannetti et al. - 1988
26 The Essence of Program Transformation by Partial Evaluation .. (context) - Jones - 1994
26 A Partial Evaluation Procedure for Logic Programs (context) - Benkerimi, Lloyd - 1990
25 volume 16 of EATCS Monographs on Theoretical Computer Scienc.. (context) - Padawitz, Horn - 1988
19 Supporting Transformations for the Partial Evaluation of Log.. (context) - Benkerimi, Hill - 1993
15 Deductive and Inductive Synthesis of Equational Programs - Dershowitz, Reddy - 1993
14 Unification in conditional-equational theories (context) - Hussmann - 1986
13 A Program Development Methodology Based on a Unified Approac.. (context) - Darlington, Pull - 1988
11 Towards Unifying Partial Evaluation (context) - Srensen, Gluck et al. - 1994
10 Incremental Constraint Satisfaction for Equational Logic Pro.. - Alpuente, Falaschi et al. - 1995
10 Inversion and metacomputation (context) - Romanenko - 1991
10 Program Transformation by Supercompilation (context) - Turchin - 1985
8 An Almost Perfect Abstraction Operator for Partial Deduction - Leuschel, De Schreye - 1994
8 LSE Narrowing for Decreasing Conditional Term Rewrite System.. (context) - Bockmayr, Werner - 1995
8 Combining Lazy Narrowing with Simplification (context) - Hanus - 1994
6 Journal of Logic Programming (context) - Josephson, Dershowitz et al. - 1989
6 Semantic definitions in Refal and automatic production of co.. (context) - Turchin - 1980
6 Turchin's Supercompiler Revisited: An Operational Theory of .. (context) - Srensen - 1994
5 Narrowing Based Procedures for Equational Disunification (context) - Fernandez - 1992
5 A bibliography on partial evaluation (context) - Sestoft, Sndergaard - 1988
4 Generalization in Positive Supercompilation (context) - Srensen, Gluck - 1995
4 Experiences with the RAP system -- a specification interpret.. (context) - Geser, Hussmann - 1986
3 Improving basic narrowing techniques (context) - Rety - 1987
3 Symbolic Evaluation and Logical Procedural Semantics (context) - Levi, Sirovich et al. - 1975
3 Fair conditional term rewriting systems: unification (context) - Kaplan - 1986
3 Combining Lazy Narrowing with Disequality Constraints - Arenas, Gil et al. - 1994
3 A survey of the implementations of narrowing (context) - Cheong, Fribourg - 1992
3 LISP and Symbolic Computation (context) - Consel, Danvy et al. - 1993
2 An Abstract Interpretation Algorithm for Residuating Logic P.. (context) - Hanus - 1992
2 Conditional Narrowing with Constructive Negation (context) - Ramrez, Falaschi - 1993
2 cient Implementation of Narrowing and Rewriting (context) - Hanus - 1991
1 Integrating Disequations in the Algebraic and Logic Programm.. - Bert, Echahed - 1994
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.