Air Force scientific report for AFOSR Grant AFOSR-85-0252. Final report, 15 June 1985-14 October 1986

This work has concentrated on developing a unifying framework, under the name UNITY, for studying problem solving in parallel programming independent of specific architectural considerations. The authors have proposed a simple model of computation and a logic to reason about properties of such programs and have managed to study problems from a variety of problem areas. They have developed a number of transformations appropriate for implementations on a variety of architectures: sequential, asynchronous shared memory, distributed message passing, synchronous parallel with shared memory, systolic arrays, and VLSI chips. The diversity of the application areas and the architectures studied lends credence to the hypothesis that there is a UNITY to programming.