Computations in APS

AbstractAn algebraic programming system (APS) integrates four main paradigms of computations: procedural, functional, algebraic (rewriting rules) and logical. All of them may be used in different combinations at different levels of implementation. Formal models used in the developing computational techniques for APS are presented and discussed. These include data structures, algebraic modules, rewriting and computing, canonical forms, tools for building strategies and data types