Nondeterminism in the APM Methodology

Joy Goodman, John O'Donnell,

Abstract

This paper looks at the issues involved in incorporating nondeterminism into functional languages and particularly in representing the nondeterminacy which may arise in representing parallel programs in a functional language. It presents an implementation which does so without breaking the ability to perform equational reasoning, and shows how it may be incorporated into the APM (Abstract Parallel Machines) methodology for deriving parallel programs.

The full paper

Related links

BibTeX citation

@techreport{good*99,
     author = "Joy Goodman and John O'Donnell",
     title = "Nondeterminism in the {APM} methodology",
     institution = "Department of Computing and Electrical Engineering,
Heriot-Watt University, Edinburgh",
     booktitle = "Draft Proceedings of the 1st Scottish Functional 
Programming Workshop",
     month = "September",
     year = 1999,
     number = "RM/99/9",
     type = "Workshop"}
Joy Goodman
Back to my research page
Back to my home page