Using Algebra-Algorithmic and Term Rewriting Tools for Developing Efficient Parallel Programs
А.Yu. Doroshenko, Kostiantyn Zhereb, Olena Yatsenko · 2013
An approach to program design and synthesis using algebra- algorithmic specifications and rewriting rules techniques is proposed. An alge- bra-algorithmic toolkit based on the approach allows building syntactically cor- rect and easy-to-understand algorithm specifications. The term rewriting system supplements the algebra-algorithmic toolkit with facilities for transformation of the sequential and parallel algorithms, enabling their improvement.