Abstract
This paper analyzes some characteristics of mathematical language definitions and compares them with the corresponding techniques used for describing compilers in the framework of existing compiler-compilers. This motivates a new compiler description concept based on attribute grammars. The concept allows compiler descriptions which can more easily proved to be correct with respect to an original mathematical definition of the language. On the other hand, a simple modification of known attribute evaluation methods assures an automatic generation of efficient compiler modules.
This research was carried out within the Sonderforschungsbereich 49 — Programmiertechnik — at the Technical University of Munich.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Babich, W.A., Jazayeri, M.: The method of attributes for data flow analysis, parts I, II, Acta Informatica 10 (1978), 2455–264,
Babich, W.A., Jazayeri, M.: The method of attributes for data flow analysis, parts I, II, Acta Informatica 10 (1978), 265–272.
Bochmann, G.V.: Semantic evaluation from left to right. Comm. ACM, 19 (1976).
Chirica, L.M., Martin, D.F.: An algebraic formulation of Knuthian semantics. 17th IEEE Symp. on Foundations of Comp. Science, 1977, 127–136.
Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fix-points. 4th ACM Symp. on Principles of Progr. Languages, 1977, 238–252.
Ganzinger, H.: On storage optimization for automatically generated compilers, Lecture Notes in Computer Science 67, Springer 1979, 132–141.
Ganzinger, H.: From denotational semantics definitions to abstract compiler descriptions: Outlines of a strategy. Techn. Report, TUM-INFO, Techn. Univ. Munich, to appear in 1979.
Jazayeri, M., Walter, K.G.: Alternating semantic evaluator, Proc. ACM Ann. Conf., 1975, 230–234.
Knuth, D.E.: Semantics of context-free languages. Math. Systems Theory 2, (1968), 127–145.
Koster, C.H.A.: Affix grammars. In Peck, J.E.L. (ed.): ALGOL68 Implementation. North Holland, 1971, 95–109.
Lampson, B.W., Horning, J.J., London, R.L., Mitchell, J.G., Popek, G.L.: Report on the programming language EUCLID, ACM Sigplan Notices, 12, 2(1977).
Pozefsky, D.P.: Building efficient pass-oriented attribute grammar evalua-tors. Univ. North Carolina at Chapel Hill, UNC TR 79–006, 1979.
Räihä, K.-J.: On attribute grammars and their use in a compiler writing system. Report A-1977-U, Dep. of Comp. Science, Univ. of Helsinki, Helsinki, 1977.
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.
Reynolds, J.C.: Definitional interpreters for higher-order programming languages. Proc. 25th ACM Annual Conf., 1972, 717–740.
Scott, D., Strachey, C.: Towards a mathematical semantics for computer languages. Techn. Mon. PRG-6, Oxford U. Comp. Lab., 1971.
Stoy, J.E.: Denotational semantics: The Scott-Strachey approach to programming language theory. The MIT Press, Cambridge, London, 1977.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Ganzinger, H. (1979). An Approach to the Derivation of Compiler Description Concepts from the Mathematical Semantics Concept. In: Böhling, K.H., Spies, P.P. (eds) GI — 9. Jahrestagung. Informatik-Fachberichte, vol 19. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67444-0_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-67444-0_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09664-1
Online ISBN: 978-3-642-67444-0
eBook Packages: Springer Book Archive