An abstract machine for concurrent Haskell with futures

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. may- and should-convergence.

Metadaten
Verfasserangaben:	David Sabel ORCiD GND
URN:	urn:nbn:de:hebis:30:3-242534
URL:	http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-48.pdf
Titel des übergeordneten Werkes (Deutsch):	Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 48
Schriftenreihe (Bandnummer):	Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik (48)
Verlag:	Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology
Verlagsort:	Frankfurt [am Main]
Dokumentart:	Arbeitspapier
Sprache:	Englisch
Jahr der Fertigstellung:	2012
Jahr der Erstveröffentlichung:	2012
Veröffentlichende Institution:	Universitätsbibliothek Johann Christian Senckenberg
Datum der Freischaltung:	07.02.2012
GND-Schlagwort:	Lambda-Kalkül; Formale Semantik; Funktionale Programmierung; Nebenläufigkeit; Abstrakter Automat
Seitenzahl:	26
HeBIS-PPN:	28945624X
Institute:	Informatik und Mathematik / Informatik
DDC-Klassifikation:	0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Sammlungen:	Universitätspublikationen
Lizenz (Deutsch):	Creative Commons - Namensnennung-Keine Bearbeitung

Open Access