Shevchenko R. Development of TermWare system for source code analysis and transformations, based on term rewriting.

Rewrite rules are one of the fundamental approaches to the analysis and description of software systems. The possibility of their program implementation opens the way to reduce the distance between abstract calculus and the pragmatics of code transformations. TermWare language defines a declarative description of the domain of programming of distributed software systems. It allows representing the functionality of software complexes not only by the transformation of terms but also describing the interaction of terms with the external environment. This environment is a dynamic basis of facts in the internal logic of the system, for example, the state of the environment in the control system or a list of current business processes in the flow control system. Thus, instead of hiding the imperative programming style in side effects, TermWare is immersing the imperative operations into the logic of the declarative program.