A Methodology for the Derivation of Parallel Programs

Joy Goodman

Abstract

This paper describes the current development of a methodology for deriving parallel programs from functional specifications. By specifying the basic program in a functional language and using guided equational reasoning, a more efficient parallel program in a variety of languages and styles can be derived.

The full paper

BibTeX citation

@techreport{good98,
      author = "Joy Goodman",
      title = "A Methodology for the Derivation of Parallel Programs",
      institution = "Departamento de Inform{\'{a}}tica, Universidade do
Minho",
      booktitle = "Workshop: Research Themes in Functional Programming",
      month = Sep,
      year = 1998,
      number = "UMDITR03",
      type = "Workshop"}
Joy Goodman
Back to my research page
Back to my home page