Publication: Dealing Denotationally With Stream-based Communication
Loading...
Full text at PDC
Publication Date
2005
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Elsevier
Citations
Exportar
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.
Description
UCM subjects
Unesco subjects
Keywords
Citation
D. Gelernter and N. Carriero. Coordination languages and their significance. Communications of the ACM, 35(2):96–107, February 1992.
S. Gorlatch. Send-receive considered harmful: Myths and realities of message passing. ACM Transactions on Programming Languages and Systems, 26(1):47–56, January 2004.
M. Hidalgo-Herrero and Y. Ortega-Mallen. An operational semantics for the parallel language Eden. Parallel Processing Letters (World Scientific Publishing Company), 12(2):211–228, 2002.
M. Hidalgo-Herrero and Y. Ortega-Mallen. Continuation semantics for parallel Haskell dialects.In Proc. of the 1st Asian Symposium on Programming Languages and Systems, pages 303–321.LNCS 2895, Springer, 2003.
M. B. Josephs. The semantics of lazy functional languages. Theoretical Computer Science,68:105–111, 1989.
J. Launchbury. A natural semantics for lazy evaluation. In ACM Symposium on Principles of Programming Languages,POPL’93, pages 144–154. ACM Press, 1993.
R. Loogen, Y. Ortega-Mallen, and R. Peña. Parallel functional programming in Eden. Journal of Functional Programming, 2004. (To appear).
C. Pareja, R. Peña, F. Rubio, and C. Segura. Optimizing Eden by Transformation. In Trends in Functional Programming (Selected papers of the 2nd Scottish Functional Programming
Workshop), volume 2, pages 13–26. Intellect, 2000.
R. Peña, F. Rubio, and C. Segura. Deriving non-hierarchical process topologies. In Trends in Functional Programming (Selected papers of the 3rd Scottish Functional Programming Workshop), volume 3, pages 51–62. Intellect, 2002.
S. Peyton Jones. Haskell 98 language and libraries: the Revised Report. Cambridge University Press, 2003.
J. H. Reppy. Concurrent ML: Design, application and semantics. In Proceedings of Functional Programming, Concurrency, Simulation and Automated Reasoning, pages 165–198. LNCS 693,Springer, 1993.
D. Sangiorgi and D. Walker. The π-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
J.E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge, MA, 1977.
R. D. Tennent. The denotational semantics of programming languages. Communications of the ACM, 19(8):437–453, August 1976.