Sergio Antoy, Rachid Echahed, Michael Hanus  Home/Search
Context Related
Links: ACM DBLP | pdx.edu/pub/facult...wingStrategy.ps.Z pdx.edu/~antoy/homepage/....paper.ps.gz informatik.unikiel.de/~...JACM00.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: pdx.edu/~antoy/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms. It also plays an important role in the definition of some algorithms of unification modulo equational theories which are defined by confluent term rewriting systems. Due to the inefficiency of simple narrowing, many refined narrowing strategies have been proposed in the last decade. This paper presents a new narrowing... (Update)
Cited by: More
Constraints, Predicates, Functions and a Turtle - Frank, Grabmüller, Hofstedt.. (2003) (Correct)
Multiple Evaluation Strategies for the Multiparadigm.. - Hofstedt, Metzner (2003) (Correct)
Call-by-Name Specialization of Functional Logic Programs - Alpuente, Falaschi.. (1996) (Correct)
Similar documents (at the sentence level):
23.2%: A Needed Narrowing Strategy - Antoy, Echahed, Hanus (1994) (Correct)
6.5%: A Parallel Narrowing Strategy - Antoy, Echahed, Hanus (1996) (Correct)
5.8%: Parallel Evaluation Strategies for Functional Logic Languages - Antoy, Echahed, Hanus (1997) (Correct)
Active bibliography (related documents): More All
1.4: Narrowing the Narrowing Space - Antoy, Ariola (1997) (Correct)
0.9: Compiling Multi-Paradigm Declarative Programs into Prolog - Antoy, Hanus (2000) (Correct)
0.6: An Implementation of Narrowing Strategies - Antoy, Hanus, Massey, Steiner (2001) (Correct)
Similar documents based on text: More All
0.6: Functional Logic Design Patterns - Antoy, Hanus (2002) (Correct)
0.6: A Component-Based Approach to Concurrent Declarative Programming - Echahed, Serwe (2001) (Correct)
0.5: Programming with Narrowing - Sergio Antoy Computer (Correct)
Related documents from co-citation: More All
65: The Integration of Functions into Logic Programming: From Theory to Practice (context) - Hanus - 1994
58: Logic Programming with Functions and Predicates: The language Babel (context) - Moreno-Navarro, Rodr'iguez-Artalejo - 1992
52: Rewrite systems - Dershowitz, Jouannaud - 1990
BibTeX entry: (Update)
S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. In Proc. 21st ACM Symposium on Principles of Programming Languages, pp. 268279, Portland, 1994. http://citeseer.ist.psu.edu/article/antoy94needed.html More
@inproceedings{ antoy94needed,
author = "Sergio Antoy and Rachid Echahed and Michael Hanus",
title = "A Needed Narrowing Strategy",
booktitle = "Conference Record of {POPL} '94: 21ST {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, Portland, Oregon",
address = "New York, NY",
pages = "268--279",
year = "1994",
url = "citeseer.ist.psu.edu/article/antoy94needed.html" }
Citations (may not include all citations):788 Rewrite systems - Dershowitz, Jouannaud - 1990 ACM DBLP
474 Term Rewriting Systems - Klop - 1992 ACM
254 The integration of functions into logic programming: From th.. (context) - Hanus - 1994 DBLP
171 A needed narrowing strategy - Antoy, Echahed et al. - 1994 ACM DBLP
138 Functional Programming and Parallel Graph Rewriting (context) - Plasmeijer, van Eekelen - 1993 ACM
121 Logic programming with functions and predicates: The languag.. (context) - Moreno-Navarro, Rodr - 1992 DBLP
114 Building-in equational theories (context) - Plotkin - 1972
102 Term graph rewriting (context) - Barendregt, van Eekelen et al. - 1987
89 Curry: An integrated functional logic language (context) - Hanus - 1999
89 Kernel LEAF: a logic plus functional language (context) - Giovannetti, Levi et al. - 1991
88 Computing in Systems Described by Equations (context) - O'Donnell - 1977 ACM
87 Narrowing as the operational semantics of functional languag.. (context) - Reddy - 1985 DBLP
81 SLOG: A logic programming language interpreter based on clau.. (context) - Fribourg - 1985 DBLP
78 A demand driven computation strategy for lazy narrowing - Loogen, Fraguas et al. - 1993 ACM DBLP
69 Higher-order extensions to prolog: are they needed (context) - Warren - 1982
68 Proofs by induction in equational theories with constructors (context) - Huet, Hullot - 1982 DBLP
67 Computational semantics of term rewriting systems (context) - Boudol - 1985 ACM
65 Automated theorem-proving for theories with simpliers (context) - Slagle - 1974
65 How to replace failure by a list of successes (context) - Wadler - 1985 ACM
61 Term Graph Rewriting Theory and Practice (context) - Sleep, Plasmeijer et al. - 1993
59 Equational Logic as a Programming Language (context) - O'Donnell - 1985 ACM DBLP
52 Compiling logic programs with equality (context) - Hanus - 1990 ACM DBLP
48 Basic narrowing revisited (context) - Nutt, ety et al. - 1989 ACM DBLP
48 and generic modules for logic programming (context) - Goguen, Meseguer et al. - 1986
47 Lazy narrowing: Strong completeness and eager variable elimi.. - Middeldorp, Okui et al. - 1996 DBLP
45 Completeness results for basic narrowing - Middeldorp, Hamoen - 1994
44 Programming in equational logic: Beyond strong sequentiality - Sekar, Ramakrishnan - 1993 DBLP
41 logic and functional programming language (context) - Bert, Echahed et al. - 1986
38 On completeness of narrowing strategies (context) - Echahed - 1990
36 A unied computation model for functional and logic programmi.. (context) - Hanus - 1997
34 Optimal derivation in weak lambda-calculi and in orthogonal .. - Maranget - 1991
33 Sequentiality in orthogonal term rewriting systems (context) - Klop, Middeldorp - 1991 ACM DBLP
29 A deterministic lazy narrowing calculus - Middeldorp, Okui - 1998 ACM DBLP
26 Parallel evaluation strategies for functional logic language.. - Antoy, Echahed et al. - 1997 DBLP
25 Computations in orthogonal term rewriting systems (context) - Huet, evy - 1991
25 volume 16 of EATCS Monographs on Theoretical Computer Scienc.. (context) - Padawitz, Horn - 1988
24 Optimal non-deterministic functional logic computations - Antoy - 1997
24 Lazy narrowing in a graph machine (context) - Moreno-Navarro, Kuchen et al. - 1990
23 Minimal and optimal computations of recursive programs (context) - Berry, evy - 1979 ACM DBLP
22 Uniform narrowing strategies (context) - Echahed - 1992 ACM DBLP
22 Completion and its applications (context) - Dershowitz - 1989
20 A complete narrowing calculus for higher-order functional lo.. - Nakahara, Middeldorp et al. - 1995 ACM DBLP
19 Improving control of logic programs by using functional logi.. (context) - Hanus - 1992 ACM DBLP
18 Denitional trees (context) - Antoy - 1992
18 Strongly sequential and inductively sequential term rewritin.. - Hanus, Lucas et al. - 1998 ACM DBLP
18 Canonical forms and unication (context) - Hullot - 1980
17 the interaction of lazy evaluation and backtracking - Hans, Loogen et al. - 1992
17 Implementation of narrowing: The Prolog-based approach - Cheong, Fribourg - 1993
14 The adequacy of term graph rewriting for simulating term rew.. (context) - Kennaway, Klop et al. - 1993 ACM
14 Higher-order narrowing with denitional trees (context) - Hanus, Prehofer - 1996
13 Foundations of Equational Logic Programming (context) - olldobler - 1989 ACM
12 Stop losing sleep over incomplete data type specications (context) - Thiel - 1984
12 An abstract machine for Curry and its concurrent implementat.. (context) - Hanus, Sadre - 1999 DBLP
11 Non-determinism and lazy evaluation in logic programming (context) - Antoy - 1991 DBLP
10 The algebraic specication of abstract data types (context) - Guttag, Horning - 1978
10 Leftmost outside-in narrowing calculi (context) - Ida, Nakahara - 1997 ACM DBLP
10 refutation proofs and constraints (context) - Nieuwenhuis - 1995
8 Narrowing techniques applied to idempotent unication (context) - Herold - 1986
8 Needed narrowing in Prolog - Antoy - 1996
8 Narrowing strategies for arbitrary canonical systems (context) - Bockmayr, Krischer et al. - 1995
8 Admissible graph rewriting and narrowing (context) - Echahed, Janodet - 1998 ACM DBLP
7 A rewriting logic for declarative programming - Gonz, Hortal et al. - 1996 ACM DBLP
7 First-order unication in an equational theory (context) - Fay - 1979
6 Ecient translation of lazy functional logic programs into Pr.. (context) - Hanus - 1995
6 Strong completeness of a lazy conditional narrowing calculus - Hamada, Middeldorp - 1997
4 Ecient compilation of lazy narrowing into prolog (context) - Jim, no-Carballo et al. - 1992
4 Conditional rewrite rules: Con uence and termination (context) - Bergstra, Klop - 1986
3 Narrowing and unication in functional programming - an evalu.. (context) - Darlington, Guo - 1989
3 The specicity rule for lazy pattern-matching in ambiguous te.. (context) - Kennaway - 1990
3 Ecient lazy narrowing using demandedness analysis (context) - Moreno-Navarro, Kuchen et al. - 1993
2 Unication modulo an equality theory for equational logic pro.. (context) - You - 1991
1 A lazy narrowing abstract machine (context) - Ull, Hern - 1995
1 A universal unication algorithm based on unication-driven le.. (context) - Fassbender, Vogler - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.pdx.edu/~antoy/publications.html): More
Automatically Checking an Implementation against Its Formal.. - Antoy, Hamlet (1999) (Correct)
Needed Narrowing in Prolog - Antoy (1996) (Correct)
Equational Specifications: Design, Implementation, and.. - Antoy, Forcheri.. (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