Universidad Complutense de Madrid
E-Prints Complutense

Dealing Denotationally With Stream-based Communication

Impacto

Downloads

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

[img] PDF
Restringido a Repository staff only

370kB

Official URL: http://www.sciencedirect.com/science/article/pii/S1571066105050826


URLURL Type
http://www.sciencedirect.comPublisher


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.


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