A methodology for deriving parallel programs with a family of parallel abstract machines

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1300 LNCS, Issue , 1997, Pages 662-669

  O'Donnell, John ^a   Rünger, Gudula ^b  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

^b SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ABSTRACT MACHINES; CASE-STUDIES; PARALLEL MACHINE; PARALLEL OPERATIONS; PARALLEL PROGRAM;

PARALLEL PROGRAMMING;

EID: 84882687036     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0002797     Document Type: Conference Paper

References (5)

1. R. S. Bird, "Lectures on constructive functional programming," In M. Broy, editor, Constructive methods in Computing Science, NATO ASO series F: Computer and Systems Sciences. Vol. 55, pages 151-216. Springer Verlag, 1988.
2. J. Darlington, A.J. Field, P.G. Harrison, P.H.J. Kelly, D.W.N. Sharp, Q. Wu, and R.L. While. Parallel programming using skeleton functions. In Proceedings of the PARLE'93, volume 694 of LNCS, pages 146-160, Munich, Germany, June 1993.
3. S. Gorlatch, "Stages and transformations in parallel programming," In M. Kara et al., editor. Abstract Machine Models for Parallel and Distributed Computing, pages 147-162. IOS Press, 1996.
4. J. O'Donnell and G. Riinger, "A case study in parallel program derivation: The Heat Equation algorithm," Functional Programming: Glasgow 1994, Springer Workshops in Computing (1994).
5. J. O'Donnell and G. Riinger, "An explanatory formal derivation of a parallel binary addition circuit," Technical Report, Computing Science Department TR-1995-19, University of Glasgow, 1995.