Synthesis of Efficient Structures for Concurrent Computation.
Final interim rept. 1 Oct 82-30 Sep 83,
KESTREL INST PALO ALTO CA
Pagination or Media Count:
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
- Computer Programming and Software
- Computer Hardware