Dealing Denotationally With Stream-based Communication

Authors:
Mercedes Hidalgo-Herrero;Yolanda Ortega-Mallén
Affiliations:
Dept. Didáctica de las Matemáticas, Facultad de Educación, Universidad Complutense de Madrid. Madrid, Spain;Dept. Sistemas Informáticos y Programación, Facultad de CC. Matemáticas, Universidad Complutense de Madrid. Madrid, Spain
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 11
Cited 0

The semantics of lazy functional languages

Theoretical Computer Science
A natural semantics for lazy evaluation

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The denotational semantics of programming languages

Communications of the ACM
Coordination languages and their significance

Communications of the ACM
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes
Deriving non-hierarchical process topologies

Trends in functional programming
Concurrent ML: Design, Application and Semantics

Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Optimising Eden by transformation

Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
Send-receive considered harmful: Myths and realities of message passing

ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel functional programming in Eden

Journal of Functional Programming

Quantified Score

Hi-index	0.00

Visualization

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.