Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








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

URL of the conference:


URL for downloading the paper:


Event Address*:

Portland, USA

Language:

English

Event Date*
(no longer used):

1994

Organization:


Event Start Date:

15 September 2019

Event End Date:

15 September 2019

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
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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