Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25775
Titel: The constraint language for lambda structures
Verfasser: Egg, Markus
Koller, Alexander
Niehren, Joachim
Sprache: Englisch
Erscheinungsjahr: 2001
Quelle: Journal of Logic, Language, and Information Vol 10 (4), 2001, pp.457-485
SWD-Schlagwörter: Lambda-Kalkül ; Constraint-logische Programmierung
Freie Schlagwörter: Constraint language for Kambda Structures ; CLLS
DDC-Sachgruppe: 004 Informatik
Dokumentart : Journalartikel
Kurzfassung: This paper presents the Constraint Language for Lambda Structures (CLLS), a first-order language for semantic underspecification that conservatively extends dominance constraints. It is interpreted over lambda structures, tree-like structures that encode lambda-terms. Based on CLLS, we present an underspecified, uniform analysis of scope, ellipsis, anaphora, and their interactions. CLLS solves a variable capturing problem that is omnipresent in scope underspecification and can be processed efficiently.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-2932
hdl:20.500.11880/25831
http://dx.doi.org/10.22028/D291-25775
SciDok-Publikation: 12-Jul-2004
Fakultät: Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I
Fachrichtung: MI - Informatik
Fakultät / Institution:MI - Fakultät für Mathematik und Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
clls2000.pdf320,47 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.