Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes

Abstract

The approach to generation of terms by high-level specifications of algorithms is proposed. The generation is performed within the framework of joint use of symbolic computation system and algebro-algorithmic toolkit of program design and synthesis. The term rewriting system complements the algebro-algorithmic toolkit with means of transforming sequential and parallel algorithms aimed at their improvement.Problems in programming 2013; 2: 62-70