Skip to main content
SpringerLink
Log in

Annotated program transformations

  • Software Technology
  • Conference paper
  • First Online:
Book cover Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1989)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 405))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Partsh, R. Steinbruggen. Program transformation systems. — ACM Comput.Surveys 15,3(1983), 199–236.

    Article  Google Scholar 

  2. 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.

    Google Scholar 

  3. A.P. Ershov. Mixed computation: potential applications and problems for study. — Theoretical Computer Science, Vol. 18, 1982, 41–67.

    Article  Google Scholar 

  4. New Generation Computing. Vol 6, Nos. 2, 3, 1988.

    Google Scholar 

  5. V.N. Kasyanov. Basis for program optimization. — In:Information processing 83, North-Holland, Amsterdam, 1983,315–320.

    Google Scholar 

  6. V.N. Kasyanov. Optimizing program transformations. — Moscow:Nauka, 1988. — 336 p. (in russian).

    Google Scholar 

  7. J.B. Kam, J.D. Ullman. Monotone data flow analysis framework. — Acta Informatica, Vol. 7, No. 3, 1977, 305–318.

    Article  Google Scholar 

  8. Program Flow Analysis: Theory and Applications / Ed. S.S. Muchnick and N.D. Jones, Englewood Cliffs, NJ: Prentice Hall, 1981.— 418 p.

    Google Scholar 

  9. V.N. Kasyanov, I.V. Pottosin. Application of optimizations techniques to correctness problems. — In: Constructing Quality Software, North Holland, Amsterdam, 1978, 237–248.

    Google Scholar 

  10. V.N.Kasyanov, V.K.Sabelfeld. Tools for program transformation. — In:Ihformatika 88: Actes du seminaire Franco-Sovietique, Rocquencourt, INRIA, 1988, 89–100.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computing Center Siberian Branch of USSR Ac. Sci., 630090, Novosibirsk, USSR

    Viktor N. Kasyanov

Authors
  1. Viktor N. Kasyanov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

C. E. Veni Madhavan

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation