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:




Library Locked Library locked




Author, Editor

Author(s):

Hanus, Michael

dblp



Editor(s):

Boley, H.
Richter, M.M.

dblp
dblp



BibTeX cite key*:

Hanus91a

Title, Booktitle

Title*:

Efficient Implementation of Narrowing and Rewriting

Booktitle*:

Proc. Intern. Workshop on Processing Declarative Knowledge

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Kaiserslautern, Germany

Language:

English

Event Date*
(no longer used):


Organization:


Event Start Date:

21 October 2019

Event End Date:

21 October 2019

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Artificial Intelligence

Volume:

567

Number:


Month:


Pages:

344-365

Year*:

1991

VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©

(LaTeX) Abstract:

We present an efficient implementation method for a language that amalgamates functional and logic programming styles. The operational semantics of the language consists of resolution to solve predicates and narrowing and rewriting to evaluate functional expressions. The implementation is based on an extension of the Warren Abstract Machine (WAM). This extension causes no overhead for pure logic programs and allows the execution of functional programs by narrowing and rewriting with the same efficiency as their relational equivalents. Moreover, there are many cases where functional programs are more efficiently executed than their relational equivalents.



Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:



BibTeX Entry:

@INPROCEEDINGS{Hanus91a,
AUTHOR = {Hanus, Michael},
EDITOR = {Boley, H. and Richter, M.M.},
TITLE = {Efficient Implementation of Narrowing and Rewriting},
BOOKTITLE = {Proc. Intern. Workshop on Processing Declarative Knowledge},
PUBLISHER = {Springer},
YEAR = {1991},
VOLUME = {567},
PAGES = {344--365},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Kaiserslautern, Germany},
}


Entry last modified by Uwe Brahm/MPII/DE, 08/25/2014
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)
[Library]
Created
01/14/1995 06:51:40 PM
Revisions
2.
1.
0.

Editor(s)
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE

Edit Dates
21/01/95 20:50:18
17/01/95 20:59:53
14/01/95 19:00:53