Logo des Repositoriums
 
Konferenzbeitrag

An abstract machine for concurrent haskell with futures

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2012

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

We show how Sestoft's abstract machine for lazy evaluation of purely functional programs can be extended to evaluate expressions of the calculus CHF – a process calculus that models Concurrent Haskell extended by imperative and implicit futures. The abstract machine is modularly constructed by first adding monadic IO-actions to the machine and then in a second step we add concurrency. Our main result is that the abstract machine coincides with the original operational semantics of CHF, w.r.t. mayand should-convergence.

Beschreibung

Sabel, David (2012): An abstract machine for concurrent haskell with futures. Software Engineering 2012. Workshopband. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-293-2. pp. 29-44. Regular Research Papers. Berlin. 27. Februar - 2. März 2012

Schlagwörter

Zitierform

DOI

Tags