Eden swMATH ID: 22186 Software Authors: U. Klusik, Y. Ortega-Mallén, R. Peña Description: Implementing Eden — or: Dreams Become Reality. The parallel functional programming language Eden was specially designed to be implemented in a distributed setting. In a previous paper [3] we presented an operational specification of DREAM, the distributed abstract machine for Eden. In this paper we go a step further and present the imperative code generated for Eden expressions and how this code interacts with the distributed RunTime System (RTS) for Eden. This translation is done in two steps: first Eden is translated into PEARL (Parallel Eden Abstract Reduction Language), the parallel functional language of DREAM, and then PEARL expressions are translated into imperative code. Homepage: https://link.springer.com/chapter/10.1007/3-540-48515-5_7 Related Software: Haskell; GUM; EdenTV; GHC; Erlang; MapReduce; eSkel; ML; Hadoop; QuickCheck; Multilisp; Symgrid; VAMPIR; Maple; Maude; Coq; Sisal; PVM; Intel TBB; OPTYap Cited in: 23 Publications all top 5 Cited by 38 Authors 6 Loogen, Rita 4 Ortega-Mallén, Yolanda 3 Hidalgo-Herrero, Mercedes 3 Peña, Ricardo 2 Berthold, Jost 2 Horstmeyer, Thomas 2 Klusik, Ulrike 2 Michaelson, Greg 2 Rubio, Fernando 2 Segura, Clara 2 Verdejo, Alberto 1 Achten, Peter 1 Aldinucci, Marco 1 Areias, Miguel 1 Brandt, Jorgen 1 Danelutto, Marco 1 Dieterle, M. 1 Ellmenreich, Nils 1 Grelck, Clemens 1 Grov, Gudmund 1 Hammond, Kevin 1 Koopman, Pieter 1 Lengauer, Christian 1 Leser, Ulf 1 Lobachev, Oleg 1 Maier, Patrick 1 Martí-Oliet, Narciso 1 Martínez, Rafael García 1 Morazán, Marco T. 1 Peña-Marí, Ricardo 1 Priebe, Steffen 1 Reisig, Wolfgang 1 Rocha, Ricardo 1 Scholz, Sven-Bodo 1 Shafarenko, Alex 1 Torrano, Carmen 1 Trinder, Phil W. 1 van Eekelen, Marko all top 5 Cited in 6 Serials 4 Journal of Functional Programming 4 Higher-Order and Symbolic Computation 2 Computer Languages, Systems & Structures 1 International Journal of Parallel Programming 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming Cited in 2 Fields 23 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year