Tools and techniques of annotated programming

  • Victor N. Kasvanov
Regular Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 477)


Annotated programming is a method of program prooessing which takes into account program application information a priori known and conveyed in annotations. A model for annotated programming is described within whose framework many kinds of practical work with programs (e.g. partial evaluation and optimization) can be performed. A transformation machine concept and some tools for annotated program transformations are considered.


  1. 1.
    Ershov A.P. ALPHA — an automatic programming system of high efficiency, J.ACM, vol.13, N 1, 1966, p.17–24.Google Scholar
  2. 2.
    Kennedy K.N. A survey of compiler optimization.— In: Program Flow Analysis: Theory and Applications, Englewood Cliffs, Prentice-Hall, 1981, p.5–54.Google Scholar
  3. 3.
    Kasyanov V.N. Optimizing transformations of programs, Nauka, Moscow, 1988.— 336 p. (in Russian).Google Scholar
  4. 4.
    Ershov A.P. The transformational approach in software engineering, In: Software Engineering, Abstracts of the reports to the All-Union Conference, Plenary sessions and general material, Institute of Cybernetics, Ukrainian Academy of Science, Kiev, 1979, p.12–26.Google Scholar
  5. 5.
    Partsh H., Steinbruggen R. Program transformation systems, ACM Comput. Surveys, vol.15, N 3, 1983, p.199–236.Google Scholar
  6. 6.
    Feather M.S. A survey and classification of some program transformation approaches and techniques, In: Program Specification and Transformation, North-Holland, Amsterdam, 1987, p.165–195.Google Scholar
  7. 7.
    Ershow A.P. On the partial computation principle, Information Processing Letters, vol.6, N 2, 1977, p.38–41.Google Scholar
  8. 8.
    New Generation Computing, Special Issue: Selected Papers from the Workshop on Partial Evaluation and Mixed Computation, vol.6, Nos. 2,3, 1988.Google Scholar
  9. 9.
    Kasyanov V.N. Practical approach to program optimization, Preprint N 135, Computing Center, Siberian Branch of the USSR Academy of Sciences, Novosibirsk, 1978.— 43 p. (in Russian).Google Scholar
  10. 10.
    Kasyanov V.N. Annotated program transformations, In: Lecture Notes in Computer Science, vol.405, 1989, p.171–180.Google Scholar
  11. 11.
    Kasyanov V.N. Basis for program optimization, In: Proc. IFIP Congress 83, North-Holland, Amsterdam, 1983, p.315–320.Google Scholar
  12. 12.
    Ershov A.P. Theory of program schemata, In: Proc. IFIP Congress 71, North-Holland, Amsterdam, 1971, p.28–45.Google Scholar
  13. 13.
    Ershov A.P. The transformational machine: theme and variations, In: Lecture Notes in Computer Science, vol.118, 1981, p.16–32.Google Scholar
  14. 14.
    Kasyanov V.N., Sabelfeld V.K. Tools for program transformations, In: Informatika-88: Actes du seminaire Franco-Sovetique, INRIA, Roquencourt, 1988, p.89–100.Google Scholar
  15. 15.
    Kasyanov V.N., Pottosin I.V. Application of optimization techniques to correctness problems, In: Constructing Quality Software, Proc. IFIP TC 2 Working Conf., North-Holland, Amsterdam, 1979, p.237–248.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Victor N. Kasvanov
    • 1
  1. 1.Institute of Informatics SystemsAcademy of Sciences of the U.S.S.R. Siberian BranchNovosibirskU.S.S.R.

Personalised recommendations