Synthesis Approach to Parallel Software Engineering.
Final technical rept. Sep 94-Apr 97,
KESTREL INST PALO ALTO CA
Pagination or Media Count:
This report describes our research on a synthesis approach to parallel Software Engineering. The main goal of this project was to develop concepts and generic tools to support the synthesis of parallel algorithms from formal specifications, and to carry out a representative sample of derivations for a variety of applications. Our technical approach is based on program transformation technology which allows the systematic machine-supported development of software from requirement specifications. The development process can produce highly efficient parallel code alone with a proof of the codes correctness. We focused on three application domains to test our concepts.
- Computer Programming and Software