Accession Number : ADA135892

Title :   Synthesis of Efficient Structures for Concurrent Computation.

Descriptive Note : Final interim rept. 1 Oct 82-30 Sep 83,

Corporate Author : KESTREL INST PALO ALTO CA

Personal Author(s) : King,R M ; Mayr,E W ; Green,C

PDF Url : ADA135892

Report Date : 01 Oct 1983

Pagination or Media Count : 22

Abstract : The object of this research is the development of programming knowledge for the synthesis of concurrent programs. In this final report the authors describe techniques for synthesizing efficient parallel structures from high level specifications of a problem. These structures contain collections of trees interconnected in various ways. They examine an apparently diverse group of problems and show that they all have properties in common that allow these syntheses to be performed using only a few synthesis rules. Also explored are some alternative syntheses for some structures. Some of the synthesis paths use transformation rules designed to produce parallel structures containing multidimensional lattices. These lattices are then transformed into structures containing trees in some cases. In other cases the lattice structure is better and is retained. In yet other cases the lattice structure is modified to make a better lattice structure. (Author)

Descriptors :   *Parallel processing, *Computer programming, Computations, High level languages, Computer architecture, Methodology, Trees, Synthesis, Classification, Structures, Efficiency, Transformations, Specifications

Subject Categories : Computer Programming and Software
      Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE