Dealing Denotationally With Stream-based Communication



Downloads per month over past year

Hidalgo Herrero, Mercedes and Ortega Mallén, Yolanda (2005) Dealing Denotationally With Stream-based Communication. Electronic Notes in Theoretical Computer Science, 137 . pp. 47-68. ISSN 15710661

[thumbnail of Ortega06.pdf] PDF
Restringido a Repository staff only


Official URL:


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.

Item Type:Article
Uncontrolled Keywords:Denotational semantics; Continuation semantics; Laziness; parallel programming; Functional programming; Eden.
Subjects:Sciences > Computer science > Computer programming
ID Code:17461
Deposited On:17 Dec 2012 09:32
Last Modified:18 Jul 2018 07:12

Origin of downloads

Repository Staff Only: item control page