Author:
O’Donnell John,Rünger Gudula
Reference5 articles.
1. A. Bunkenburg and S. Flynn, “Expression refinement: deriving Bresenham’s algorithm,” Functional Programming: Glasgow 1994,Springer-Verlag Workshops in Computing.
2. C. Lengauer, “Loop parallelization in the Polytope Model,” Proc. CONCUR (1993).
3. J. O’Donnell, “Generating netlists from executable circuit specifications in a pure functional language,” Functional Programming Glasgow 1992,Springer-Verlag Workshops in Computing 178–194.
4. J. O’Donnell, ‘Bidirectional fold and scan,“ Functional Programming: Glasgow 1993, Springer Workshops in Computing (1994).
5. J. O’Donnell, “A correctness proof of parallel scan,” Parallel Processing Letters (Sept. 1994).