Eden
From MaRDI portal
Software:33981
swMATH22186MaRDI QIDQ33981FDOQ33981
Author name not available (Why is that?)
Cited In (23)
- Parallel functional programming in Eden
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Computation semantics of the functional scientific workflow language Cuneiform
- Programming Languages and Systems
- Implementation of Functional Languages
- 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
- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden
- 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
