Parallel Algorithms / Architecture Synthesis, AIZU International Symposium on (1995)
Aizu-Wakamatsu, Fukushima, Japan
Mar. 15, 1995 to Mar. 17, 1995
A.M. Geerling , Inst. of Comput. Sci., Nijmegen Univ., Netherlands
The paper describes-from a software engineering perspective-a framework for the formal development of parallel algorithms on arbitrary architectures. The algorithms are synthesised in a transformational way, i.e. by applying correctness preserving rewrite rules to a formal specification. The architectures are modelled by skeletons-higher order functions that represent elementary computations on a certain architecture. It is shown that the combination of transformational programming and skeletons stimulates the reuse of program derivations. Furthermore, interskeleton transformations will provide the means for architecture independent program development.
parallel programming; parallel algorithms; formal specification; rewriting systems; formal languages; program transformations; skeletons; formal derivation; parallel programs; software engineering perspective; formal development; parallel algorithms; arbitrary architectures; correctness preserving rewrite rules; formal specification; higher order functions; elementary computations; transformational programming; program derivation reuse; interskeleton transformations; architecture independent program development
A. Geerling, "Program transformations and skeletons: formal derivation of parallel programs," Parallel Algorithms / Architecture Synthesis, AIZU International Symposium on(PAS), Aizu-Wakamatsu, Fukushima, Japan, 1995, pp. 250.