Parallel Algorithms / Architecture Synthesis, AIZU International Symposium on (1995)

Aizu-Wakamatsu, Fukushima, Japan

Mar. 15, 1995 to Mar. 17, 1995

ISBN: 0-8186-7038-X

pp: 271

A.E. Doroshenko , V.M. Glushkov Inst. of Cybern., Acad. of Sci., Kiev, Ukraine

A.B. Godlevsky , V.M. Glushkov Inst. of Cybern., Acad. of Sci., Kiev, Ukraine

ABSTRACT

An approach to declarative construction of parallel implementations (dynamical parallelizers) for a general class of sequential imperative programs by means of the algebraic programming system APS is considered. It gives advantages of rapid prototyping and evolutionary development of efficient parallelizers. An operational model of a dynamical parallelizer in the form of transition system is constructed and major parts of its declarative implementation are described as systems of relations. Techniques for designing efficient parallelizers are presented and exemplified.

INDEX TERMS

parallel programming; software prototyping; systems analysis; software tools; computer aided software engineering; parallel implementations; algebraic programming tools; declarative construction; dynamical parallelizers; sequential imperative programs; algebraic programming system APS; rapid prototyping; evolutionary development; dynamical parallelizer; transition system; declarative implementation

CITATION

A.E. Doroshenko,
A.B. Godlevsky,
"Constructing parallel implementations with algebraic programming tools",

*Parallel Algorithms / Architecture Synthesis, AIZU International Symposium on*, vol. 00, no. , pp. 271, 1995, doi:10.1109/AISPAS.1995.401329