Logic specification of code generation techniques

  • Robert Giegerich
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 217)


Register Allocation Machine Cell Address Mode Partial Evaluator Target Machine 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AhJ76]
    Aho, A.V., Johnson, S.C.: Optimal code generation for expression trees. JACM 23(3), 1976.Google Scholar
  2. [Gan86]
    Ganzinger, H.: Modular first-order specifications of operational semantics. Lecture Notes, this Volume, 1986.Google Scholar
  3. [Gie84]
    Giegerich, R.: Code generation phase models based on abstract machine descriptions. Report TUM-I8412, Technical University Munich, 1984.Google Scholar
  4. [Gla77]
    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. [Gnp80]
    Ganapathi, M.: Retargetable code generation and optimization using attribute grammars. Technical Report # 406, CS Department, University of Wisconsin-Madison, 1980.Google Scholar
  6. [Gra80]
    Graham, S.L.: Table driven code generation. IEEE Computer 13(8), 1980.Google Scholar
  7. [Hen84]
    Henry, R. R.: Graham-Glanville Code Generators. Report UCB/CSD84/184, University of California, Berkeley, 1984.Google Scholar
  8. [SeU70]
    R. Sethi, Ullman, J.D.: The generation of optimal code for arithmetic expressions. JACM(17), 4, 1970.Google Scholar
  9. [Wul75]
    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. [WuN82]
    Wulf, W.A., Nori, K.V.: Delayed binding in PQCC generated compilers. Report CMU-CS-82-138, Carnegie-Mellon University, Pittsburgh 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Robert Giegerich
    • 1
  1. 1.FB Informatik Universität DortmundDortmund 50W.Germany

Personalised recommendations