Ivannikov Institute for System Programming of the RAS


Some methods of automatic analysis and controllable transformation of programs

Authors

M. A. Potapov, E. A. Shatokhin

Abstract

Principles and methods of the development of program systems are considered, which facilitate the analysis and transformation of the structure of programs. In the implementation of scale projects, it is impossible to have a complete concept of the structure of a program without the use of special systems. These systems contain the means of analysis of the initial program and, as a result of automatic transformation, produce another program displaying prescribed properties. As examples, the problems of fast automatic differentiation and the problems of obfuscation (“darkening,” intricacy) of programs are considered.

Edition

Automation and Remote Control, August 2008, Volume 69, Issue 8, pp 1433-1443.

DOI: 10.1134/S0005117908080158

Research Group

Software Engineering

All publications during 2008 All publications