MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Hanus, Michaeldblp
Editor(s):
Apt, Krzysztofdblp
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
Conference URL::
Downloading URL:
Event Address*:
Washington, D.C.
Language:
English
Event Date*
(no longer used):
?
Organization:
Event Start Date:
14 May 2024
Event End Date:
14 May 2024
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
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