The following pages link to Eden (Q33981):
Displayed 23 items.
- Graph-based communication in Eden (Q526455) (← links)
- The Peter Landin prize (Q604860) (← links)
- Hume box calculus: Robust system development through software transformation (Q656858) (← links)
- Costing stepwise refinements of parallel programs (Q875957) (← links)
- Skeleton-based parallel programming: functional and parallel semantics in a single shot (Q875962) (← links)
- Trends in trends in functional programming 1999/2000 versus 2007/2008 (Q1929344) (← links)
- Asynchronous stream processing with S-Net (Q2269910) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- (Q2763379) (← links)
- Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics (Q2866804) (← links)
- Using Template Haskell for Abstract Interpretation (Q2873799) (← links)
- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden (Q3589075) (← links)
- (Q3601048) (← links)
- Table space designs for implicit and explicit concurrent tabled evaluation (Q4559837) (← links)
- Computation semantics of the functional scientific workflow language Cuneiform (Q4577807) (← links)
- (Q4736971) (← links)
- (Q4817289) (← links)
- To be or not to be …lazy (In a Parallel Context) (Q5170189) (← links)
- Transparent fault tolerance for scalable functional computation (Q5371963) (← links)
- Skeleton composition versus stable process systems in Eden (Q5371966) (← links)
- Implementation of Functional Languages (Q5466593) (← links)
- Parallel functional programming in Eden (Q5706726) (← links)
- Programming Languages and Systems (Q5902366) (← links)