An operational semantics for the parallel language Eden

Parallel Processing Letters

Volumn 12, Issue 2, 2002, Pages 211-228

  Hidalgo Herrero, Mercedes ^a   Ortega Mallén, Yolanda ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

Functional programming; Operational semantics; Parallel computing; Skeletons

Indexed keywords

ALGORITHMS; COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTER PROGRAMMING LANGUAGES; SEMANTICS;

FUNCTIONAL PROGRAMMING;

PARALLEL PROCESSING SYSTEMS;

EID: 0036625432     PISSN: 01296264     EISSN: None     Source Type: Journal    
DOI: 10.1142/s0129626402000938     Document Type: Conference Paper

References (16)

1. S. Breitinger, R. Loogen, Y. Ortega-Mallén, and R. Peña. Eden - the paradise of functional-concurrent programming. In EUROPAR'96: European Conference on Parallel Processing, pages 710-713. LNCS 1123, Springer, 1996.
2. S. Breitinger, R. Loogen, Y. Ortega-Mallén, and R. Peña. The Eden coordination model for distributed memory systems. In Workshop on High-level Parallel Programming Models, HIPS'97. In conjuntion with the IEEE International Parallel Processing Symposium, IPPS'97, pages 120-124. IEEE Computer Science Press, 1997.
3. R. Loogen. Research Directions in Parallel Functional Programming, chapter 3: Programming Language Constructs. Eds. K. Hammond and G. Michaelson. Springer, 1999.
4. J.H. Reppy. Concurrent ML: Design, aplication and semantics. In Proceedings of Functional Programming, Concurrency, Simulation and Automated Reasoning, pages 165-198. LNCS 693, Springer, 1993.
5. D. Sangiorgi and D. Walker. The π-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
6. G. Kahn and D MacQueen. Coroutines and networks of parallel processes. In IFIP'77, pages 993-998. Eds. B. Gilchrist. North-Holland, 1977.
7. J. Lannchbury. A natural semantics for lazy evaluation. In POPL '93, Charleston, 1993.
8. C. Baker-Finch, D. King, and P. Trinder. An operational semantics for parallel lazy evaluation. In ACM-SIGPLAN International Conference on Functional Programming (ICFP'00), pages 162-173, Montreal, Canada, September 2000.
9. P. Trinder, K. Hammond, J. Mattson Jr., A. Partridge, and S. Peyton Jones. GUM: a portable implementation of Haskell. In Proceedings of Programming Language Design and Implementation, Philadephia, USA, May 1996.
10. M. Hidalgo-Herrero and Y. Ortega-Mallén. A distributed operational semantics for a parallel functional language. In Trends in Functional Programming (Selected papers of the 2nd Scottish Functional Programming Workshop), volume 2, pages 89-102. Intellect, 2000.
11. S. Peyton Jones and J. Hughes (editors). Report on the programming language Haskell 98. URL http://www.haskell.org, February 1999.
12. J.S. Mattson Jr. and W.G. Griswold. Local speculative evaluation for distributed graph reduction. In Proceedings of Glasgow Workshop of Functional Programming, pages 185-102. Springer WCS, 1993.
13. 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.
14. R. Loogen, Y. Ortega-Mallén, R. Peña, S. Priebe, and F. Rubio. Patterns and Skeletons for Parallel and Distributed Computing, chapter 4: Parallelism Abstractions in Eden. Eds. F.A. Rabbi and S. Gorlatch. Springer, 2002.
15. M.B. Josephs. The semantics of lazy functional languages. Theoretical Computer Science, 68:105-111, 1989.
16. M. Hidalgo-Herrero and Y. Ortega-Mallén. Towards a denotational semantics for Eden. In Draft Proceedings of the Third Scottish Functional Programming Workshop, pages 45-54. University of Stirling, Scotland, 2001.