MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Krischer, Stefan
Bockmayr, Alexander		dblp
dblp
Editor(s):
Book, R.dblp
BibTeX cite key*:
KrischerBockmayr91a
Title, Booktitle
Title*:
Detecting Redundant Narrowing Derivations by the LSE-SL Reducibility Test
Booktitle*:
Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA '91)
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Como, Italy
Language:
English
Event Date*
(no longer used):
April 10-12
Organization:
Event Start Date:
15 May 2024
Event End Date:
15 May 2024
Publisher
Name*:
Springer
URL:
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Computer Science
Volume:
488
Number:
Month:
Pages:
74-85
Year*:
1991
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
Rewriting and narrowing provide a nice theoretical framework for the integration of logic and functional programming. For practical applications however, narrowing is still much too inefficient. In this paper we show how reducibility tests can be used to detect redundant narrowing derivations. We introduce a new narrowing strategy, LSE-SL left-to-right basic normal narrowing, prove its completeness for arbitrary canonical term rewriting systems, and demonstrate how it increases the efficiency of the narrowing process.
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, Fachbeirat



BibTeX Entry:
@INPROCEEDINGS{KrischerBockmayr91a,
AUTHOR = {Krischer, Stefan and Bockmayr, Alexander},
 EDITOR = {Book, R.},
 TITLE = {Detecting Redundant Narrowing Derivations by the {LSE-SL} Reducibility Test},
 BOOKTITLE = {Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA '91)},
 PUBLISHER = {Springer},
 YEAR = {1991},
 VOLUME = {488},
 PAGES = {74--85},
 SERIES = {Lecture Notes in Computer Science},
 ADDRESS = {Como, Italy},
}

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:52:13 PM
Revisions
5.
4.
3.
2.
1.		Editor(s)
Christine Kiesel
Uwe Brahm
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE		Edit Dates
28.08.2001 08:42:14
03/27/98 09:59:31 PM
21/01/95 20:53:18
17/01/95 21:19:38
17/01/95 20:26:25