Abstract
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.
Chapter PDF
Similar content being viewed by others
References
Ershov A.P. ALPHA — an automatic programming system of high efficiency, J.ACM, vol.13, N 1, 1966, p.17–24.
Kennedy K.N. A survey of compiler optimization.— In: Program Flow Analysis: Theory and Applications, Englewood Cliffs, Prentice-Hall, 1981, p.5–54.
Kasyanov V.N. Optimizing transformations of programs, Nauka, Moscow, 1988.— 336 p. (in Russian).
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.
Partsh H., Steinbruggen R. Program transformation systems, ACM Comput. Surveys, vol.15, N 3, 1983, p.199–236.
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.
Ershow A.P. On the partial computation principle, Information Processing Letters, vol.6, N 2, 1977, p.38–41.
New Generation Computing, Special Issue: Selected Papers from the Workshop on Partial Evaluation and Mixed Computation, vol.6, Nos. 2,3, 1988.
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).
Kasyanov V.N. Annotated program transformations, In: Lecture Notes in Computer Science, vol.405, 1989, p.171–180.
Kasyanov V.N. Basis for program optimization, In: Proc. IFIP Congress 83, North-Holland, Amsterdam, 1983, p.315–320.
Ershov A.P. Theory of program schemata, In: Proc. IFIP Congress 71, North-Holland, Amsterdam, 1971, p.28–45.
Ershov A.P. The transformational machine: theme and variations, In: Lecture Notes in Computer Science, vol.118, 1981, p.16–32.
Kasyanov V.N., Sabelfeld V.K. Tools for program transformations, In: Informatika-88: Actes du seminaire Franco-Sovetique, INRIA, Roquencourt, 1988, p.89–100.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kasvanov, V.N. (1991). Tools and techniques of annotated programming. In: Hammer, D. (eds) Compiler Compilers. CC 1990. Lecture Notes in Computer Science, vol 477. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53669-8_78
Download citation
DOI: https://doi.org/10.1007/3-540-53669-8_78
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53669-7
Online ISBN: 978-3-540-46953-7
eBook Packages: Springer Book Archive