Eden

swMATH22186MaRDI QIDQ33981FDOQ33981

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/3-540-48515-5_7

Cited In (49)

• Parallel functional programming in Eden
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuation semantics for parallel Haskell dialects
• Trends in trends in functional programming 1999/2000 versus 2007/2008
• Title not available (Why is that?)
• Transparent fault tolerance for scalable functional computation
• Asynchronous stream processing with S-Net
• Title not available (Why is that?)
• Costing stepwise refinements of parallel programs
• Skeleton-based parallel programming: functional and parallel semantics in a single shot
• The Peter Landin prize
• Executable structural operational semantics in Maude
• Implementing data parallel rational multiple-residue arithmetic in Eden
• Computation semantics of the functional scientific workflow language Cuneiform
• Implementation of Functional Languages
• eSkel
• ParGAP
• Ivor
• GHC
• Erlang
• Alfalfa
• Camlflow
• GUM
• iTasks
• SKIPPER
• AoPA
• Symgrid
• VAMPIR
• OPERA
• Sisal
• Nikola
• CUBIC
• Lucid
• BSMLlib
• EdenTV
• Hume
• Hop
• Hive
• Cuneiform
• Muesli
• Vector
• To be or not to be …lazy (In a Parallel Context)
• Table space designs for implicit and explicit concurrent tabled evaluation
• Hume box calculus: Robust system development through software transformation
• Skeleton composition versus stable process systems in Eden
• Using Maude and its strategies for defining a framework for analyzing Eden semantics
• Using Template Haskell for abstract interpretation
• Graph-based communication in Eden

This page was built for software: Eden