An implementation of eden on top of concurrent haskell

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1268, Issue , 1997, Pages 141-161

  Breitinger, Silvia ^a   Klusik, Ulrike ^a   Loogen, Rita ^a  

^a PHILIPPS UNIVERSITY MARBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS;

CONCURRENT HASKELL; CONCURRENT LANGUAGES; DISTRIBUTED MEMORY SYSTEMS; HASKELL; LAZY FUNCTIONAL LANGUAGES; PARALLEL IMPLEMENTATIONS; PROCESS SYSTEM; STREAM-BASED;

HIGH LEVEL LANGUAGES;

EID: 84957714103     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63237-9_23     Document Type: Conference Paper

References (17)

1. [AJ89] Lennart Augustsson and Thomas Johnsson. Parallel Graph Reduction with the (v, G)-machine. In FPCA '89, Functional Programming Languages and Computer Architecture, pages 202-213. ACM Press, 1989.
2. [Af3m96] Claus ABmann. Coordinating Functional Processes using Petri Nets. In Werner Kluge, editor, Workshop on the Implementation of Functional Languages, Bonn, Germany. Christian-Albrechts-University Kiel, September 1996. (also in this volume).
3. [Ber95] B. Berthomieu. Process calculi at work — an account of the LCS project. In PSLS, LNCS 1068, Springer, 1995.
4. [BL096] Silvia Breitinger, Rita Loogen, and Yolanda Ortega-Mallen. To- wards a declarative language for concurrent and parallel programming. In David N. Turner, editor, Functional Programming, Glasgow 1995. Springer, 1996.
5. [BLOP96] Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallen, and R. Pefia. Eden — Language Definition and Operational Semantics. Technical Report 96-10, Philipps-Universitat Marburg, 1996.
6. [GC92] David Gelernter and Nicolas Carriero. Coordination languages and their significance. Comm. of the ACM, 35(2), 1992.
7. [GH96] T. Gehrke and M. Huhn. ProFun - a language for executable specifica- tions. In International Symposium on Programming Languages: Implementations, Logics, Programs (PLILP), LNCS 1140, Springer, 1996.
8. [KLB91] H. Kingdon, D. R. Lester, and G. L. Burn. The HDG-machine: a highly distributed graph-reducer for a transputer network. Computer Journal, 34(4):290-301, 1991.
9. [LKID89] Rita Loogen, Herbert Kuchen, Klaus Indermark, and Werner Damm. Distributed implementation of programmed graph reduction. In Proc. PARLE, LNCS 365, Springer, 1989.
10. [P1196] John Peterson and Kevin Hammond (eds). Report on the programming language Haskell: a non-strict, purely functional language, version 1.3. Technical Report YALEU/DCS/RR-1106, Yale University, 1996.
11. [PJGF96] Simon Peyton Jones, Andrew Gordon, and Sigbjorn Finne. Concurrent Haskell. In ACM Symposium on Principles of Programming Languages (POPL) 96. ACM Press, 1996.
12. [Rep91] John H. Reppy. CML: A higher-order concurrent language. In ACM SIG- PLAN Conference on Programming Language Design and Implementation (PLDI), 1991.
13. [Sah96] D. Sahlin. The concurrent functional programming language Erlang - an overview. In Multi Paradigm Logic Programming, pages 9-12, 1996.
14. [THM+96] P. W. Trinder, K. Hammond, J. S. Mattson, Jr., A. S. Partridge, and S. L. Peyton Jones. GUM: A portable parallel implementation of Haskell. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1996.
15. [TLP+93] B. Thomsen, L. Leth, S. Prasad, T.-S. Kuo, A. Kramer, F. Knabe, and A. Giacalone. Facile antigua release - programming guide. Technical Report ECRC-93-20, European Computer-Industry Research Centre, 1993.
16. [vEP93] Marco van Eekelen and Rinus Plasmeijer. Functional Programming and Parallel Graph Rewriting. Addison Wesley, 1993.
17. [Wik94] Claes Wikstrom. Distributed programming in Erlang. In Hoon Hong, editor, PASCO'94: First International Symposium on Parallel Symbolic Computation, pages 412-421. World Scientific Publishing Company, 1994.