Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Completeness results for basic narrowing in non-copying implementations

Krishna Rao, M. R. K. (1996). Completeness results for basic narrowing in non-copying implementations. In M. Maher (Ed.), Logic Programming (pp. 393-407). Cambridge, USA: MIT Press.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ABC9-7 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ABCA-5
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Krishna Rao, M. R. K.1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Narrowing and rewriting play an important role in giving the operational semantics of languages that integrate functional and logic programming. These two operations are usually implemented using tree representation of terms and atoms. Such implementations do not allow sharing of similar structures. In contrast to this, implementations which use (directed acyclic) graph representations of terms and atoms allow sharing of similar structures. Such sharing saves space and avoids repetition of computations. Term graph rewriting is one of the nice models proposed in the literature to facilitate sharing of similar structures. In this paper, we study completeness of basic narrowing in term graph rewriting. Our results show that term graph rewriting not only improves efficiency but even facilitates more general results on the completeness of basic narrowing than the results known in term rewriting (which use tree representations)

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121996
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Cambridge, USA : MIT Press
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519557
Anderer: Local-ID: C1256104005ECAFC-87479DE48550EBADC12564180048C463-KrishnaRao96b
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Bonn, Germany
Start-/Enddatum: 1996

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Logic Programming
Genre der Quelle: Konferenzband
 Urheber:
Maher, Michael, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Cambridge, USA : MIT Press
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 393 - 407 Identifikator: ISBN: 0-262-63173-3

Quelle 2

einblenden:
ausblenden:
Titel: JICSLP
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -