UDC 007:681.512.2
OPTIMISING UNIFICATION OF COMPLICATED PROGRAMS
I. Yu. Kashirin, Dr. Sc. (Tech.), full professor, RSREU, Ryazan, Russia; This email address is being protected from spambots. You need JavaScript enabled to view it.
S. I. Lavrentyev, Ph.D. (Tech.), associate professor, RSREU, Ryazan, Russia; This email address is being protected from spambots. You need JavaScript enabled to view it.
I. Yu. Filatov, Ph.D. (Tech.), associate professor, RSREU, Ryazan, Russia; This email address is being protected from spambots. You need JavaScript enabled to view it.
The concept of modern unification theory application to a multitude of terms of formal software machines, consisting of algorithmic algebras system is shown. This formalism gives the possibility of strict mathematical description of the known software language tools for analysis, automatic synthesis and optimization of program code. It is shown that a new modified unification algorithm is not inferior to the previously created algorithms, but has the possibility of its application in the design of complex software systems created using modern programming languages. The aim of the work is to construct a new unification algorithm of formal descriptions of the programs encoded on the basis of modern programming languages, and automatically optimized by unification algorithm.
Key words: unification theory, formal software machines, algorithmic algebras, computer-aided design, equivalent transformation of programs, programming languages