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):

Hanus, Michael

dblp



Editor(s):

Apt, Krzysztof

dblp



BibTeX cite key*:

Hanus92b

Title, Booktitle

Title*:

On the Completeness of Residuation

Booktitle*:

Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Washington, D.C.

Language:

English

Event Date*
(no longer used):

?

Organization:


Event Start Date:

17 September 2019

Event End Date:

17 September 2019

Publisher

Name*:

MIT Press

URL:


Address*:

Cambridge, USA

Type:


Vol, No, Year, pp.

Series:


Volume:


Number:


Month:


Pages:

192-206

Year*:

1992

VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©

Note:

Extended version to appear in Journal of Logic Programming

(LaTeX) Abstract:

Residuation is an operational mechanism for the integration of functions into logic programming languages. The residuation principle delays the evaluation of functions during the unification process until the arguments are sufficiently instantiated. This has the advantage that the deterministic nature of functions is preserved but the disadvantage of incompleteness: if the variables in a delayed function call are not instantiated by the logic program, this function can never be evaluated and some answers which are logical consequences of the program are lost. In this paper we present a method for detecting such situations. The method is based on a compile-time analysis of the program and approximates the possible residuations and instantiation states of variables during program execution.



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



BibTeX Entry:

@INPROCEEDINGS{Hanus92b,
AUTHOR = {Hanus, Michael},
EDITOR = {Apt, Krzysztof},
TITLE = {On the Completeness of Residuation},
BOOKTITLE = {Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming},
PUBLISHER = {MIT Press},
YEAR = {1992},
PAGES = {192--206},
ADDRESS = {Washington, D.C.},
}


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:45 PM
Revisions
6.
5.
4.
3.
2.
Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Edit Dates
04.09.2001 12:30:23
04.09.2001 12:30:16
02/02/95 10:19:41
30/01/95 16:57:05
21/01/95 20:50:41