Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  On the Completeness of Residuation

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

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AE19-C Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-0C35-A
Genre: Konferenzbeitrag

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: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519451
Anderer: Local-ID: C1256104005ECAFC-0052ED22336CAA96C125614400621F2B-Hanus92b
BibTex Citekey: Hanus_JICSLP92
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Joint International Conference and Symposium on Logic Programming
Veranstaltungsort: Washington, D.C.
Start-/Enddatum: 1992

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP '92)
  Kurztitel : JICSLP 1992
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: -