Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25773
Titel: A concurrent lambda-calculus with promises and futures
Verfasser: Schwinghammer, Jan
Sprache: Englisch
Erscheinungsjahr: 2002
SWD-Schlagwörter: Lambda-Kalkül
DDC-Sachgruppe: 004 Informatik
Dokumentart : Examensarbeiten (Diplom / Master / Staatsexamen etc.)
Kurzfassung: Concurrency plays an important role in programming language design. Logic variables in the form of futures and promises provide a means of synchronization and communication in concurrent computation. Futures and promises, which differ from general logic variables in that a distinction is made between reading and writing them, have been introduced previously. However, no formal operational semantics has been provided for promises. In order to formally investigate properties of futures and promises in a functional setting, a concurrent lambda-calculus extended with futures and promises is presented. It is intended to provide a computation model for the programming language Alice. We prove the calculus confluent, and give a proof showing strong normalization in the simply typed case without promises. Further, we introduce a type system so as to statically enforce proper use of promises in the calculus.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-2897
hdl:20.500.11880/25829
http://dx.doi.org/10.22028/D291-25773
SciDok-Publikation: 6-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 
Schwinghammer-Diplom.pdf561,77 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.