Zusammenfassung
Attribute grammars are the basis of most compiler generating systems. An extension of context-free grammars, they allow to employ well-known parsing techniques for syntactic analysis. Compiler descriptions in form of attribute grammars are, like denotational semantics definitions in the sense of Scott and Strachey, monolithic and do not encourage modularization. Compiler descriptions, like any other specification of complex program systems, are nontrivial to write and reliability and modifiability can be achieved only through adequate structuring mechanisms.
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
Ehrig, H., Kreowski, H. -J., Thatcher, J.W., Wagner, E. G., Wright, J. B.: Parameter passing in algebraic specification languages. IBM Research, Yorktown Heights, 1980.
Bochmann, G.V.: Semantic equivalence of covering attribute grammars. Int’l. J. of Comp. and Inf.. Science, 8, 6 (1979) pp. 523–539.
McCarthy, J., Painter, J.: Correctness of a compiler for arithmetic expressions. Mathematical Aspects of Comp. Sci., Proc. Symp. in Appl. Math., 19 (1967), pp. 33–41.
Ganzinger, H.: ADELE — an attribute definition language. To appear.
Goguen, J.A., Parsaye-Ghomi, K.: Algebraic denotational semantics using parameterized abstract modules. Manuscript, SRI-International, Menlo Park, Ca, Dec. 1980.
Kastens, U.: ALADIN — Eine Definitionssprache für attributierte Grammatiken. Univ. Karlsruhe, Fak. für Informatik, Bericht 7/79, 1979.
Mosses, P.: A constructive approach to compiler correctness. LNCS 94, 1980.
Nijholt, A.: Context-free grammars: covers, normal forms, and parsing. LNCS 93,
Räiäh, K.-J., Saarinen, M., Soisalon-Soininen, E., Tienari, M.: The compiler writing system HLP (Helsinki Language Processor). Dep’t. of Comp. Sci., Univ. of Helsinki, Finland, Report A-1978–2, 1978.
Reynolds, J.C., Haskell, R.: Grammatical coverings. Unpublished Manuscript, 1970.
Watt, D.A., Madsen, O. L.: Extended attribute grammars. Univ. of Glasgow, Rep. 10, July 1977. (Revised version: Comp. Sci Dep’t., Aarhus Univ., DAIMI PB-105, 1979)
Zilles, S.N.: An introduction to data algebras. Working draft paper. IBM Research, San Jose, 1975.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ganzinger, H. (1981). Description of Parameterized Compiler Modules. In: Brauer, W. (eds) GI — 11. Jahrestagung. Informatik-Fachberichte, vol 50. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-01089-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-662-01089-1_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10884-9
Online ISBN: 978-3-662-01089-1
eBook Packages: Springer Book Archive