Constructing parallel implementations with algebraic programming tools

Author

Doroshenko, A.E. ; Godlevsky, A.B.

Author_Institution

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

fYear

1995

fDate

15-17 Mar 1995

Firstpage

271

Lastpage

277

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

Keywords

computer aided software engineering; parallel programming; software prototyping; software tools; systems analysis; algebraic programming system APS; algebraic programming tools; declarative construction; declarative implementation; dynamical parallelizer; dynamical parallelizers; evolutionary development; parallel implementations; rapid prototyping; sequential imperative programs; transition system; Application software; Automata; Concurrent computing; Cybernetics; Data analysis; Dynamic programming; Parallel programming; Program processors; Prototypes; Software design;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel Algorithms/Architecture Synthesis, 1995. Proceedings., First Aizu International Symposium on

Conference_Location

Fukushima

Print_ISBN

0-8186-7038-X

Type

conf

DOI

10.1109/AISPAS.1995.401329

Filename

401329