Skip to main content
SpringerLink
Log in
Book cover

Programs as Data Objects pp 96–111Cite as

Logic specification of code generation techniques

  • Conference paper
  • First Online:

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aho, A.V., Johnson, S.C.: Optimal code generation for expression trees. JACM 23(3), 1976.

    Google Scholar 

  2. Ganzinger, H.: Modular first-order specifications of operational semantics. Lecture Notes, this Volume, 1986.

    Google Scholar 

  3. Giegerich, R.: Code generation phase models based on abstract machine descriptions. Report TUM-I8412, Technical University Munich, 1984.

    Google Scholar 

  4. Glanville, R.S.: A machine independent algorithm for code generation and its use in retargetable compilers. Technical report UCB-CS-78-01, University of California, Berkeley, 1977.

    Google Scholar 

  5. Ganapathi, M.: Retargetable code generation and optimization using attribute grammars. Technical Report # 406, CS Department, University of Wisconsin-Madison, 1980.

    Google Scholar 

  6. Graham, S.L.: Table driven code generation. IEEE Computer 13(8), 1980.

    Google Scholar 

  7. Henry, R. R.: Graham-Glanville Code Generators. Report UCB/CSD84/184, University of California, Berkeley, 1984.

    Google Scholar 

  8. R. Sethi, Ullman, J.D.: The generation of optimal code for arithmetic expressions. JACM(17), 4, 1970.

    Google Scholar 

  9. Wulf, W.A., Johnsson, R.K., Weinstock, C.B., Hobbs, S.O., Geschke, S.M.: The design of an optimizing compiler. American Elsevier, New York 1975.

    Google Scholar 

  10. Wulf, W.A., Nori, K.V.: Delayed binding in PQCC generated compilers. Report CMU-CS-82-138, Carnegie-Mellon University, Pittsburgh 1982.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. FB Informatik Universität Dortmund, D-4600, Dortmund 50, W.Germany

    Robert Giegerich

Authors
  1. Robert Giegerich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Harald Ganzinger Neil D. Jones

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Giegerich, R. (1986). Logic specification of code generation techniques. In: Ganzinger, H., Jones, N.D. (eds) Programs as Data Objects. Lecture Notes in Computer Science, vol 217. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16446-4_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-16446-4_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16446-3

  • Online ISBN: 978-3-540-39786-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation