×

zbMATH — the first resource for mathematics

Some methods of automatic analysis and controllable transformation of programs. (English. Russian original) Zbl 1167.68364
Autom. Remote Control 69, No. 8, 1433-1443 (2008); translation from Avtom. Telemekh. 2008, No. 8, 176-186 (2008).
Summary: 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.
MSC:
68N01 General topics in the theory of software
65D25 Numerical differentiation
Software:
ADIC; TAPENADE
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Rall, B., Automatic Differentiation: Techniques and Applications, Lecture Notes Comput. Sci., Berlin: Springer-Verlag, vol. 120, 1981. · Zbl 0473.68025
[2] Kantorovich, L.V., On a Mathematical Symbolics Convenient in the Performance of Machine Computation, Dokl. Akad. Nauk SSSR, 1957, vol. 113, pp. 738–741. · Zbl 0080.11601
[3] Matiyasevich, Yu.V., Real Numbers and Computers, Kibern. Vychisl. Tekh., 1986, no. 2, pp. 104–133.
[4] Voevodin, V.V., Informatsionnaya struktura algoritmov (Information Stucture of Algorithms), Moscow: Mosk. Gos. Univ., 1997.
[5] Voevodin, V.V. and Voevodin, Vl.V., Parallel’nye vychisleniya (Parallel Computations), St. Petersburg: BKHV-Peterburg, 2004.
[6] Iri, M., History of Automatic Differentiation and Rounding Error Estimation, Proc. Automat. Diff. Algorithms: Theory, Implementation and Application, Philadelphia, 1991, pp. 3–16. · Zbl 0782.65028
[7] Griewank, A., Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, Philadelphia: SIAM, 2000. · Zbl 0958.65028
[8] Bischof, C. and Buecker, M., Computing Derivatives of Computer Programs, Proc. Modern Methods Algorithm. Quantum Chemistry, Jülich, 2000, pp. 315–327.
[9] Hovland, P., Norris, B., and Smith, B., Making Automatic Differentiation Truly Automatic: Coupling PETSc with ADIC. Preprint of Argonne National Laboratory, Argonne, 2002. · Zbl 1062.65022
[10] Green, L.L., Applications of Automatic Differentiation at NASA Langley Research Center, Proc. Automat. Diff. Workshop, Shrivenham, 2003, pp. 18–34.
[11] Hascoet, L., Pascual, V., and Dervieux, D., Automatic Differentiation with TAPENADE, New York: Springer-Verlag, 2005.
[12] Alexandrescu, A., Modern C++ Design: Generic Programming and Design Patterns Applied, NewYork: Addison Wesley, 2001.
[13] Collberg, C., Thomborson, C., and Low, D., A Taxonomy of Obfuscating Transformations, Technical report, Department of Computer Science, University of Auckland, 1997.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.