Abstract
Transformation of annotated programs is a method of program processing which takes into account program application information a priori known and conveyed in annotations. A scheme and languages of annotated programming are described within whose framework many kinds of practical work with programs (e.g. execution, partial evaluation, optimization) can be performed. The problem of global dataflow analysis of annotated programs that covers conventional forward and backward dataflow problems is formulated and solved. A transformation machine concept as an integrated environment for transformations of annotated programs is presented.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
H. Partsh, R. Steinbruggen. Program transformation systems. — ACM Comput.Surveys 15,3(1983), 199–236.
M.S. Feather. A survey and classification of some program transformation approaches and techniques. — In: Program specification and transformation, North-Holland, Amsterdam, 1987, 165–195.
A.P. Ershov. Mixed computation: potential applications and problems for study. — Theoretical Computer Science, Vol. 18, 1982, 41–67.
New Generation Computing. Vol 6, Nos. 2, 3, 1988.
V.N. Kasyanov. Basis for program optimization. — In:Information processing 83, North-Holland, Amsterdam, 1983,315–320.
V.N. Kasyanov. Optimizing program transformations. — Moscow:Nauka, 1988. — 336 p. (in russian).
J.B. Kam, J.D. Ullman. Monotone data flow analysis framework. — Acta Informatica, Vol. 7, No. 3, 1977, 305–318.
Program Flow Analysis: Theory and Applications / Ed. S.S. Muchnick and N.D. Jones, Englewood Cliffs, NJ: Prentice Hall, 1981.— 418 p.
V.N. Kasyanov, I.V. Pottosin. Application of optimizations techniques to correctness problems. — In: Constructing Quality Software, North Holland, Amsterdam, 1978, 237–248.
V.N.Kasyanov, V.K.Sabelfeld. Tools for program transformation. — In:Ihformatika 88: Actes du seminaire Franco-Sovietique, Rocquencourt, INRIA, 1988, 89–100.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kasyanov, V.N. (1989). Annotated program transformations. In: Veni Madhavan, C.E. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1989. Lecture Notes in Computer Science, vol 405. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52048-1_42
Download citation
DOI: https://doi.org/10.1007/3-540-52048-1_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52048-1
Online ISBN: 978-3-540-46872-1
eBook Packages: Springer Book Archive