Dealing Denotationally With Stream-based Communication

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 seman...

Full description

Saved in:
Bibliographic Details
Published in:Electronic notes in theoretical computer science 2005-07, Vol.137 (1), p.47-68
Main Authors: Hidalgo-Herrero, Mercedes, Ortega-Mallén, Yolanda
Format: Article
Language:English
Subjects:
continuation semantics
Denotational semantics
Eden
functional programming
laziness
parallel programming
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2005.01.039