Dokumentenserver der Freien Universität Berlin

Objekt-Metadaten

A concurrency monad based on constructor primitives
Scholz, Enno ;  Universität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik

HaupttitelA concurrency monad based on constructor primitives
Titelzusatzor, being first-class is not enough
AutorScholz, Enno
Institution/KörperschaftUniversität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik
Seitenzahl11 S.
Schriftenreihe Freie Universität Berlin, Fachbereich Mathematik : Ser. B, Informatik ; 95,1
DDC004 Datenverarbeitung; Informatik
ZusammenfassungA monad is presented which is suitable for writing concurrent programs in a purely functional programming language. In contrast to, for instance, the IO monad [Launchbury, Peyton Jones 94], the primitives added to the functional language are not represented as built-in functions operating on the monad, but rather by Perry-style constructors [Perry 90] of a distinguished algebraic data type. Therefore, monadic expressions representing concurrent computations are not only first-class objects of the language; in addition, they may even be decomposed.
A number of examples show that decomposability of concurrent code is crucial for the
purely functional construction of more powerful concurrency abstractions like rendezvous,
remote procedure call, and critical regions from the primitives.
The paper argues that this technique helps to remedy a recurrent dilemma in the design of
concurrent programming languages, namely, how to keep the language small, coherent,
and rigorously defined, yet to provide the programmer with all the communication
constructs required.
It is suggested that functional languages are not only capable of describing concurrent
programs, but that in terms.
Dokumente
PDF-Datei
Falls Ihr Browser eine Datei nicht öffnen kann, die Datei zuerst herunterladen und dann öffnen.
 
Fachbereich/EinrichtungFB Mathematik und Informatik
Arbeitsbereich/InstitutInstitut für Informatik
Erscheinungsjahr1995
Dokumententyp/-SammlungenKarten
SpracheEnglisch
Rechte Nutzungsbedingungen
Erstellt am17.03.2009 - 11:06:03
Letzte Änderung23.01.2014 - 16:21:16
 
Statische URLhttp://edocs.fu-berlin.de/docs/receive/FUDOCS_document_000000001201
Zugriffsstatistik