MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Antoy, Sergio
Echahed, Rachid
Hanus, Michael		dblp
dblp
dblp
Editor(s):
BibTeX cite key*:
AntoyEchahedHanus94a
Title, Booktitle
Title*:
A Needed Narrowing Strategy
Booktitle*:
Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL'94)
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Portland, USA
Language:
English
Event Date*
(no longer used):
1994
Organization:
Event Start Date:
1 May 2024
Event End Date:
1 May 2024
Publisher
Name*:
ACM
URL:
Address*:
New York, USA
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
Pages:
268-279
Year*:
1994
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
Note:
Extended version available as Research Report MPI-I-93-243, Max-Planck-Institut für Informatik, Saarbrücken, Germany
(LaTeX) Abstract:
Narrowing is the operational principle of languages that integrate functional and logic programming. We propose a notion of a needed narrowing step that, for inductively sequential rewrite systems, extends the Huet and Levy notion of a needed reduction step. We define a strategy, based on this notion, that computes only needed narrowing steps. Our strategy is sound and complete for a large class of rewrite systems, is optimal w.r.t. the cost measure that counts the number of distinct steps of a derivation, computes only independent unifiers, and is efficiently implemented by pattern matching.
Download
Access Level:

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, CCL bibliography



BibTeX Entry:
@INPROCEEDINGS{AntoyEchahedHanus94a,
AUTHOR = {Antoy, Sergio and Echahed, Rachid and Hanus, Michael},
 TITLE = {A Needed Narrowing Strategy},
 BOOKTITLE = {Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL'94)},
 PUBLISHER = {ACM},
 YEAR = {1994},
 PAGES = {268--279},
 ADDRESS = {Portland, USA},
}

Entry last modified by Christine Kiesel, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Uwe Brahm		Created
01/14/1995 06:51:49 PM
Revisions
14.
13.
12.
11.
10.		Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE		Edit Dates
30.08.2001 09:58:19
28.08.2001 14:27:13
13/12/95 12:17:26
24/02/95 10:33:09
23/02/95 14:10:54