On defining semantics by means of extended attribute grammars

• Aho A.V., J.D. Ullman [72]: The theory of parsing, translation, and compiling. Vol 1: Parsing, 1972. Vol 2: Compiling, 1973. Englewood Cliffs (N.J.): Prentice Hall.

  Google Scholar 

• Bjørner D. [78]: The systematic development of a compiling algorithm. In: Le point sur la compilation. (M. Amirchahy, D.Néel, ed.), IRIA, 1978.

  Google Scholar 

• Bochmann G.V.[76]: Semantic evaluation from left to right. Comm. ACM 19, 55–62(1976).

  Article  Google Scholar 

• Chirica L.M. [76]: Contributions to compiler correctness. University of California, Los Angeles, Ph. D. Thesis, October 1976.

  Google Scholar 

• Cohen R., E. Harry [79]: Automatic generation of near-optimal linear-time translators for non-circular attribute grammars. Conference record of the Sixth ACM Symposium on Principles of Programming Languages, San Antonio, January 1979.

  Google Scholar 

• Engelfriet J. [74]: Tree automata and tree grammars. Computer Science Department, Aarhus University, DAIMI FN-10, 1974.

  Google Scholar 

• Engelfriet J., G. Filè [79]: The formal power of one-visit attribute grammars. Twente University of Technology, The Netherlands, mem. no. 286, October 1979.

  Google Scholar 

• Ganzinger H. [79a]: An approach to the derivation of compiler descriptions from the mathematical semantic concept. GI-9. Jahrestagung, Informatik-Fachbereichte 19, Berlin-Heidelberg-New York, Springer 1979.

  Google Scholar 

• Ganzinger H. [79b]: Some principles for the development of compiler descriptions from denotational language definitions. Der Technischen Universitat Munchen, (summary), 1979.

  Google Scholar 

• Gerhart S.L. [76]: Proof theory of partial correctness verification systems. SIAM J. Comput., Vol 5., No. 3., September 1976.

  Google Scholar 

• Jazayeri, M., K.G. Walter [75]: Alternating semantic evaluation. Proceedings of the ACM Annual Conference Minneapolis, Minn., October 1975.

  Google Scholar 

• Jespersen P., M. Madsen, H. Riis [78]: New extended attribute system (NEATS). Computer Science Department, Aarhus University, 1978.

  Google Scholar 

• Kennedy K., J. Ramanathan [79]: A deterministic Attribute Grammar evaluator based on dynamic sequencing. ACM Toplas, Vol. 1, no. 1, July 1979 (142–160).

  Article  Google Scholar 

• Kennedy K., S.K. Warren [76]: Automatic generation of efficient evaluators for attribute grammars. Conference record of the Third ACM Symposium on Principles of Programming Languages, January 1976, 32–49.

  Google Scholar 

• Knuth D.E. [68]: Semantics of context free languages. Math. Sys. Theory, Vol. 2, No. 2, 1968.

  Google Scholar 

• Koster C.H.A. [71]: Affix grammars. In ALGOL 68 Implementation (J.F. Peck, ed.) pp. 95–109. Amsterdam: North-Holland 1971.

  Google Scholar 

• Lewis P.M., D.J. Rosenkrantz, R.E. Stearns [74]: Attributed translations. J. Computer and System Sciences 9, 279–307 (1974).

  Google Scholar 

• Lorho B. [77]: Semantic attributes processing in the system DELTA. In methods of algorithmic language implementation (C.H.A. Koster, ed.) pp 21–40, Lecture Notes in Computer Science, Vol. 47. Berlin-Heidelberg-New York: Springer 1977.

  Google Scholar 

• Madsen O.L., B.B. Kristensen, J.Staunstrup [76]: Use of design criteria for intermediate languages. Computer Science Department, Aarhus University, DAIMI PB-59, August 1976.

  Google Scholar 

• Madsen O.L. [79a]: An introduction to attribute grammars by examples. Computer Science Department, Aarhus University, April 1979.

  Google Scholar 

• Madsen O.L. [79b]: On defining semantics by means of extended attribute grammars. Computer Science Department, Aarhus University, DAIMI IR-14, September 1979. (Revised version DAIMI PB-109, January 1980).

  Google Scholar 

• Marcotty M., H.F. Ledgard, G.V. Bochmann [76]: A sampler of formal definitions. ACM, Computing Surveys, Vol. 8, no. 2, 1976.

  Google Scholar 

• Mayoh B.H.[76]: Verification and compilation in MSL. Computer Science Department, Aarhus University, June 1976, unpublished manuscript.

  Google Scholar 

• Mayoh B.H.[78]: Attribute grammars and mathematical semantics. Computer Science Department, Aarhus University, DAIMI PB-90, August 1978.

  Google Scholar 

• Mosses P. [79]: SIS — Semantics implementation system. Reference manual and user guide. Computer Science Department, Aarhus University, DAIMI MD-30, August 1979.

  Google Scholar 

• Nielsen J.E.G. [75]: JQNS systemet. Et system til automatisk generering af verifiere. Computer Science Department, Aarhus University, Master thesis (in Danish), 1975.

  Google Scholar 

• Riis H. [80]: Subclasses of attribute grammars. Computer Science Department, Aarhus University, Master Thesis, DAIMI PB-114, January 1980.

  Google Scholar 

• Saarinen M. [78]: On constructing efficient evaluators for attribute grammars. Automata, Languages and Programming, Fifth Colloquium, Udine, July 1978. Lecture Notes in Computer Science, Berlin-Heidelberg-New York, Springer 1978.

  Google Scholar 

• Tennent R.D. [76]: The denotational semantics of programming languages. Comm. ACM, Vol. 19, 8, 437–453(1976).

  Article  Google Scholar 

• Watt D.A. [74a]: Analysis oriented two-level grammars. University of Glasgow, Ph. D. Thesis, 1974.

  Google Scholar 

• Watt D.A.[74b]: LR-parsing of affix-grammars. University of Glasgow, Report no. 7, 1974.

  Google Scholar 

• Watt D.A. [77]: The parsing problem for affix-grammars. ACTA Informatica, 8, 1–20(1977).

  Google Scholar 

• Watt D.A.[79]: An extended attribute grammar for Pascal. Sigplan Notices, Vol. 14, no. 2, 1979.

  Google Scholar 

• Watt D.A., O.L. Madsen [77]: Extended attribute grammars. University of Glasgow, Report no. 10, July 1977. (revised version Computer Science Department, Aarhus University, DAIMI PB-105, November 1979)

  Google Scholar 

• Wijngaarden A. van, B. Mailloux, J.E.L. Peck, C.H.A. Koster, M. Sintzoff, C.H. Lindsey, L.G.L.T. Meertens, R.G. Fisker [75]: Revised report on the algoritmic language ALGOL 68. ACTA Informatica, 5, 1–236(1975).

  Article  Google Scholar 

• Wilner W. [72]: Declarative semantic definition. STAN-CS-233-71, Ph. D. Thesis, Stanford, California, 1971.

  Google Scholar 

• Wirth N. [71]: The programming Language PASCAL. ACTA Informatica 1, 35–63(1971).

  Article  Google Scholar 

Download references