A Case Study in Parallel Program Derivation: the Heat Equation Algorithm (1994)
by
John O'Donnell
,
Gudula Rünger
| Citations: | 3 - 0 self |
BibTeX
@MISC{O'Donnell94acase,
author = {John O'Donnell and Gudula Rünger},
title = {A Case Study in Parallel Program Derivation: the Heat Equation Algorithm},
year = {1994}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We investigate the application of functional specification and program transformation in a practical setting using a simple case study: the derivation of a parallel program for solving the heat equation. The main concerns here are: (1) how to write an initial specification of the algorithm using a notation appropriate to the subject area (partial differential equations), (2) the introduction of an intermediate algorithm specification using bidirectional mapping scan, and (3) the use of equational reasoning to transform the specification.
Citations
| 87 | Loop parallelization in the polytope model - Lengauer - 1993 |
| 15 | Generating netlists from executable circuit specifications - O’Donnell - 1993 |
| 12 | A correctness proof of parallel scan - O’Donnell - 1994 |
| 1 | Expression refinement: deriving Bresenham 's algorithm - Bunkenburg, Flynn |
| 1 | Bidirectional fold and scan," Functional Programming - O'Donnell - 1993 |
