Parallel Algorithms / Architecture Synthesis, AIZU International Symposium on (1995)
Aizu-Wakamatsu, Fukushima, Japan
Mar. 15, 1995 to Mar. 17, 1995
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
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.
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
A. Doroshenko and A. Godlevsky, "Constructing parallel implementations with algebraic programming tools," Parallel Algorithms / Architecture Synthesis, AIZU International Symposium on(PAS), Aizu-Wakamatsu, Fukushima, Japan, 1995, pp. 271.