Eden
From MaRDI portal
Software:33981
No author found.
Related Items (23)
Executable structural operational semantics in Maude ⋮ Table space designs for implicit and explicit concurrent tabled evaluation ⋮ Costing stepwise refinements of parallel programs ⋮ Skeleton-based parallel programming: functional and parallel semantics in a single shot ⋮ The Peter Landin prize ⋮ Computation semantics of the functional scientific workflow language Cuneiform ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ Unnamed Item ⋮ Transparent fault tolerance for scalable functional computation ⋮ Skeleton composition versus stable process systems in Eden ⋮ Hume box calculus: Robust system development through software transformation ⋮ Parallel functional programming in Eden ⋮ Graph-based communication in Eden ⋮ To be or not to be …lazy (In a Parallel Context) ⋮ Unnamed Item ⋮ Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden ⋮ Asynchronous stream processing with S-Net ⋮ Implementation of Functional Languages ⋮ Programming Languages and Systems ⋮ Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics ⋮ Using Template Haskell for Abstract Interpretation
This page was built for software: Eden
