Dealing Denotationally With Stream-based Communication
Loading...
Download
Full text at PDC
Publication date
2005
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Elsevier
Citation
Abstract
We define a denotational semantics for a kernel-calculus of the parallel functional language Eden.
We choose continuations to deal with side-effects (process creation and communication) in a lazy context. The calculus includes streams for communication, and their modelization by a denotational semantics is not direct because a stream may be infinite.