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.

References in zbMATH (referenced in 28 articles )

Showing results 1 to 20 of 28.
Sorted by year (citations)

1 2 next

  1. Areias, Miguel; Rocha, Ricardo: Table space designs for implicit and explicit concurrent tabled evaluation (2018)
  2. Brandt, Jörgen; Reisig, Wolfgang; Leser, Ulf: Computation semantics of the functional scientific workflow language Cuneiform (2017)
  3. Dieterle, M.; Horstmeyer, T.; Loogen, R.; Berthold, J.: Skeleton composition versus stable process systems in Eden (2016)
  4. Stewart, Robert; Maier, Patrick; Trinder, Phil: Transparent fault tolerance for scalable functional computation (2016)
  5. de la Encina, Alberto; Rodríguez, Ismael; Rubio, Fernando: pHood: tool description, analysis techniques, and case studies (2014) ioport
  6. Maier, P.; Stewart, R.; Trinder, P. W.: Reliable scalable symbolic computation: the design of SymGridPar2 (2014) ioport
  7. Horstmeyer, Thomas; Loogen, Rita: Graph-based communication in Eden (2013)
  8. Lobachev, Oleg; Guthe, Michael; Loogen, Rita: Estimating parallel performance (2013) ioport
  9. Loogen, Rita: Eden -- parallel functional programming with haskell (2012) ioport
  10. Maier, Patrick; Trinder, Phil: Implementing a high-level distributed-memory parallel Haskell in Haskell (2012) ioport
  11. Achten, Peter; van Eekelen, Marko; Koopman, Pieter; Morazán, Marco T.: Trends in trends in functional programming 1999/2000 versus 2007/2008 (2010)
  12. Grelck, Clemens; Scholz, Sven-Bodo; Shafarenko, Alex: Asynchronous stream processing with S-Net (2010)
  13. Grov, Gudmund; Michaelson, Greg: Hume box calculus: Robust system development through software transformation (2010)
  14. Lobachev, Oleg; Loogen, Rita: Implementing data parallel rational multiple-residue arithmetic in Eden (2010)
  15. Hammond, Kevin; Michaelson, Greg: The Peter Landin prize (2009)
  16. Hidalgo-Herrero, Mercedes; Ortega-Mallén, Yolanda: To be or not to be…lazy (in a parallel context) (2009)
  17. Berthold, Jost; Loogen, Rita: Visualizing parallel functional program runs: case studies with the Eden trace viewer (2008)
  18. Aldinucci, Marco; Danelutto, Marco: Skeleton-based parallel programming: functional and parallel semantics in a single shot (2007)
  19. Ellmenreich, Nils; Lengauer, Christian: Costing stepwise refinements of parallel programs (2007)
  20. Hidalgo-Herrero, Mercedes; Verdejo, Alberto; Ortega-Mallén, Yolanda: Using Maude and its strategies for defining a framework for analyzing Eden semantics (2007)

1 2 next