|
Avtomatika i Telemekhanika, 2008, Issue 8, Pages 176–186
(Mi at714)
|
|
|
|
Computer-Aided Design and Programming
Some methods of automatic analysis and controllable transformation of programs
M. A. Potapov, E. A. Shatokhin Institute of Computer-Aided Design, Russian Academy of Sciences, Moscow, Russia
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.
Citation:
M. A. Potapov, E. A. Shatokhin, “Some methods of automatic analysis and controllable transformation of programs”, Avtomat. i Telemekh., 2008, no. 8, 176–186; Autom. Remote Control, 69:8 (2008), 1433–1443
Linking options:
https://www.mathnet.ru/eng/at714 https://www.mathnet.ru/eng/at/y2008/i8/p176
|
Statistics & downloads: |
Abstract page: | 255 | Full-text PDF : | 76 | References: | 55 | First page: | 1 |
|