Transforming denotational semantics into practical attribute grammars

  • Harald Ganzinger
Compilers Based On Denotational Semantics
Part of the Lecture Notes in Computer Science book series (LNCS, volume 94)


Meaning Variable Semantic Rule Denotational Semantic Semantic Domain Semantic Error 
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.


  1. [AdB 77]
    Apt, K.R., de Bakker, J.W.: Semantics and proof theory of PASCAL procedures. IW 80/77, Afdeling Informatice, Mathematisch Centrum Amsterdam, 1977.Google Scholar
  2. [BaJ 78]
    Babich, W.A., Jazayeri, M.: The method of attributes for data flow analysis, part I: Exhaustive Analysis. Acta Informatica 10 (1978) 245–264.CrossRefGoogle Scholar
  3. [Bjø 77]
    Bjørner, D.: Programming languages: Formal development of interpreters and compilers. ID673, Dep. of Comp. Science, Techn. Univ. of Denmark, Lyngby, 1977.Google Scholar
  4. [Boc 76]
    Bochmann, G.V.: Semantic evaluation from left to right. Comm. ACM, 19 (1976).Google Scholar
  5. [Cat 78]
    Cattell, R.R.G.: Formalization and automatic derivation of code generators. CMU-CS-78-115, Carnegie-Mellon Univ., Pittsburgh, 1978.Google Scholar
  6. [ChM 77]
    Chirica, L.M., Martin, D.F.: An algebraic formulation of Knuthian semantics. 17th IEEE Symp. on Foundations of Comp. Science 1977, 127–136.Google Scholar
  7. [CoC 77]
    Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximations of fixpoints. 4th ACM Conf. on Principles of Progr. Languages, 1977, 238–252.Google Scholar
  8. [Don 76]
    Donahue, I.E.: Complementary definitions of programming language semantics. Lecture Notes in Comp. Science, 42, Springer, 1976.Google Scholar
  9. [Ers 77]
    Ershow, A.P.: On the essence of compilation. In: Neuhold, E.J. (ed.): Formal description of programming languages. North-Holland, 1978.Google Scholar
  10. [Gan 79a]
    Ganzinger, H.: On storage optimization for automatically generated compilers. Lecture Notes in Comp. Science 67, Springer 1979, 132–141.Google Scholar
  11. [Gan 79b]
    Ganzinger, H.: An approach to the derivation of compiler description concepts from the mathematical semantics concept. Workshop on Compiler-Compilers, GI Ann. Conf., Bonn, Informatik Fachberichte 19, Springer 1979, 206–217.Google Scholar
  12. [Gan 79c]
    Ganzinger, H.: Some principles for the development of compiler descriptions from denotational language definitions. Techn. Univ. Muenchen, TUM-INFO-7936, 1979.Google Scholar
  13. [Har 77]
    Harrison, W.: A new strategy for code generation — the general purpose optimizing compiler. 4th ACM Symp. on Princ. of Progr. Languages, Los Angeles, 1977, 29–37.Google Scholar
  14. [Hoa 72]
    Hoare, C.A.R.: Proofs of correctness of data representations. Acta Informatica, 1 (1972), 271–281.CrossRefGoogle Scholar
  15. [JaW 75]
    Jazayeri, M., Walter, K.G.: Alternating semantic evaluator, Proc. ACM Ann. Conf., 1975, 230–234.Google Scholar
  16. [Jon 76]
    Jones, C.B.: Formal Definition in Compiler Development, TR 25.145, IBM Laboratorium Wien, 1976.Google Scholar
  17. [Knu 68]
    Knuth, D.E.: Semantics of context-free languages. Math. Systems Theory 2, (1968), 127–145.CrossRefGoogle Scholar
  18. [LRS 76]
    Lewis II, P.M., Rosenkrantz, D.J., Stearns, R.E.: Compiler design theory, Addison-Wesley, 1976.Google Scholar
  19. [Mad 79]
    Madsen, O.L.: On defining semantics by means of extended attribute grammars. Aarhus Univ., DAIMI IR-14, Internal Report, 1979.Google Scholar
  20. [MNV 73]
    Manna, Z., Ness, S., Vuillemin, J.: Inductive methods for proving properties of programs. Comm. ACM 16 (1973), 491–502.Google Scholar
  21. [Mao 78]
    Maoh, B.H.: Attribute grammars and mathematical semantics, Aarhus Univ., DAIMI PB-90, 1978.Google Scholar
  22. [MiS 76]
    Milne, R., Strachey, C.: A theory of programming language semantics. Chapman and Hall, London, John Wiley & Sons, New York, 1976.Google Scholar
  23. [Mos 75]
    Mosses, P.D.: Mathematical semantics and compiler generation. D. Phil. thesis, Univ. of Oxford, 1975.Google Scholar
  24. [Mos 79]
    Mosses, P.D.: SIS-Semantics Implementation System, Reference Manual and User Guide. Aarhus Univ., DAIMI MD-30, 1979.Google Scholar
  25. [Poz 79]
    Pozefsky, D.P.: Building efficient pass-oriented attribute grammar evaluators. Univ. North Carolina at Chapel Hill, UNC TR 79-006, 1979.Google Scholar
  26. [Räi 77]
    Räihä, K.-J.: On attribute grammars and their use in a compiler writing system. Report A-1977-4, Dep. of Comp. Science, Univ. of Helsinki, Helsinki, 1977.Google Scholar
  27. [Räi 79]
    Räihä, K.-J.: Dynamic allocation of space for attribute instances in multipass evaluators of attribute grammars. Proc. SIGPLAN Symp. on Compiler Construction, Boulder, 1979.Google Scholar
  28. [Rey 72]
    Reynolds, J.C.: Definitional interpreters for higher-order programming languages. Proc. 25th ACM Annual Conf., 1972, 717–740.Google Scholar
  29. [Rip 77]
    Ripken, K.: Formale Beschreibung von Maschinen, Implementierungen und opimierender Maschinencodeerzeugung aus attributierten Programmgraphen. Dissertation, Inst. für Informatik, Techn. Univ. München, 1977.Google Scholar
  30. [ScS 71]
    Scott, D., Strachey, C.: Towards a mathematical semantics for computer languages. Techn. Mon. PRG-6, Oxford U. Comp. Lab., 1971.Google Scholar
  31. [Sto 77]
    Stoy, J.E.: Denotational semantics: The Scott-Strachey approach to programming language theory. The MIT Press, Cambridge, London, 1977.Google Scholar
  32. [Ten 76]
    Tennent, R.D.: The denotational semantics of programming languages. Comm. ACM 19 (1976) 437–453.CrossRefGoogle Scholar
  33. [Vui 73]
    Vuillemin, I.: Correct and optimal implementations of recursion in a simple programming language. IRIA-Laboria Rep. 24, 1973.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Harald Ganzinger
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2Germany

Personalised recommendations