Pages that link to "Item:Q2744172"
From MaRDI portal
The following pages link to TOWARDS PARALLEL PROGRAMMING BY TRANSFORMATION: THE FAN SKELETON FRAMEWORK* (Q2744172):
Displaying 4 items.
- 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)
- Abstraction and performance in the design of parallel programs: An overview of the SAT approach (Q1567202) (← links)