Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  On the Completeness of Residuation

Hanus, M. (1992). On the Completeness of Residuation. In K. Apt (Ed.), Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming (pp. 192-206). Cambridge, USA: MIT Press.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Hanus, Michael1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: 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.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121992
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Cambridge, USA : MIT Press
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519451
Anderer: Local-ID: C1256104005ECAFC-0052ED22336CAA96C125614400621F2B-Hanus92b
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Washington, D.C.
Start-/Enddatum: 1992

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming
Genre der Quelle: Konferenzband
 Urheber:
Apt, Krzysztof, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Cambridge, USA : MIT Press
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 192 - 206 Identifikator: -