Abstract
Research in progress is reported regarding a variation on attribute and affix grammars intended for describing the "static semantic" or "context-sensitive syntactic" constraints on programming languages. The grammars are oriented toward abstract-syntax trees, rather than concrete-syntax strings. Attributes are also trees (only) and predicates are simply nonterminals, defined just as other nonterminals are, NOT in some extra-grammatical way. Moreover, trees are allowed as decorations on trees. Thus, the formalism is completely self-contained. The grammars are proposed for language specifications in reference manuals and for the automatic generation of practical compiler modules. Such a module is given an abstract-syntax tree, analyses it, and produces the checked, decorated tree as its result.
Key words and phrases
Download to read the full chapter text
Chapter PDF
References
Preliminary Ada reference manual. SIGPLAN Notices 14 (6A), June 1979.
Bochmann, G.V.: Semantic evaluation from left to right. CACM 19, 55–62, 1976.
Culik, K.: A model for the formal definition of programming languages. IJCM A(3), 315–345, 1973.
De Remer, F.: Review of formalisms and notation. In: Compiler Construction — An Advanced Course (F. L. Bauer and J. Eickel, eds.), Lecture Notes in Computer Science 21, Springer-Verlag, N.Y., 1974.
Jazayeri, M., Ogden, W.F., and Rounds, W.C. Complexity of the circularity problem for attribute grammars. CACM 18(12), 697–706, December, 1975.
Knuth, D.E.: Semantics of context-free languages. Math. Sys. Theory 2(2), 127–145, 1968(errata 1971).
Koster, C.H.A.: Affix grammars. In: ALGOL 68 Implementation (J.E. Peck, ed.), 95–109, North-Holland, Amsterdam, 1971.
Madsen, M. and Jones, N.: Letting the attributes influence the parsing. Workshop on Semantics-Directed Compiler Construction, Aarhus, Denmark, January, 1980.
McCarthy, J., et al: LISP 1.5 Programmer's Manual. MIT Press, Cambridge, Mass., 1962.
Rounds, W.C.: Mappings and Grammars on Trees. Math. Sys. Theory 4(3), 257–287, 1970.
Steensgaard-Madsen, J.: Pascal clarifications and recommended extensions. Acta Inf. 12, 73–94, 1979.
Tennent, R.D.: The denotational semantics of programming languages. CACM 19(8), 437–453, Aug. 1976.
Van Wijngaarden, A., et al: Revised report on the Algorithmic Language ALGOL 68. Acta Informatica 5, 1–236, 1975; Springer-Verlag, N.Y., 1976.
Watt, D.A.: LR parsing of affix grammars. Report 7, Comp. Sci. Dept., Univ. of Glasgow, Aug., 1974.
Watt, D., and Madsen, O.: Extended attribute grammars. DAIMI report no. PB-105, Comp. Sci. Dept., Aarhus University, Aarhus, Denmark, November 1979.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
DeRemer, F., Jullig, R. (1980). Tree-affix dendrogrammars for languages and compilers. In: Jones, N.D. (eds) Semantics-Directed Compiler Generation. SDCG 1980. Lecture Notes in Computer Science, vol 94. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10250-7_26
Download citation
DOI: https://doi.org/10.1007/3-540-10250-7_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10250-2
Online ISBN: 978-3-540-38339-0
eBook Packages: Springer Book Archive