Problems of theoretical programming and computer algebra

Initially, the scientific interest in problems of theoretical programming was focused on the creation and use in various areas of programming language interpreter. This class of problems is well formalized, so that the formal description of the interpreter was carried out in a common mathematical model. An important research topic of the laboratory is the development of methods and techniques of algebraic programming. This area was formed as a result of adaptation of specialized algebraic programming system APS as the core technology of programming software system Term-7. The presence of developed methods for the construction of specialized interpreters of programming languages, technology, programming and algebraic algorithms of computer algebra allowed to proceed on the implementation of the first version of the software system SAS (Static Analysis System) program analysis, the crucial problem of the theory of program invariants. Application development requires the solution of many applications of computer algebra. Thus important task of the laboratory - the development of algorithms of computer algebra libraries.