On defining semantics by means of extended attribute grammars

  • Ole Lehrmann Madsen
Attribute And Affix Grammars
Part of the Lecture Notes in Computer Science book series (LNCS, volume 94)

Keywords

Operational Semantic Computer Science Department Parse Tree Semantic Function Denotational Semantic 
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.

2. References

  1. 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
  2. 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
  3. Bochmann G.V.[76]: Semantic evaluation from left to right. Comm. ACM 19, 55–62(1976).CrossRefGoogle Scholar
  4. Chirica L.M. [76]: Contributions to compiler correctness. University of California, Los Angeles, Ph. D. Thesis, October 1976.Google Scholar
  5. 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
  6. Engelfriet J. [74]: Tree automata and tree grammars. Computer Science Department, Aarhus University, DAIMI FN-10, 1974.Google Scholar
  7. 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
  8. 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
  9. Ganzinger H. [79b]: Some principles for the development of compiler descriptions from denotational language definitions. Der Technischen Universitat Munchen, (summary), 1979.Google Scholar
  10. Gerhart S.L. [76]: Proof theory of partial correctness verification systems. SIAM J. Comput., Vol 5., No. 3., September 1976.Google Scholar
  11. Jazayeri, M., K.G. Walter [75]: Alternating semantic evaluation. Proceedings of the ACM Annual Conference Minneapolis, Minn., October 1975.Google Scholar
  12. Jespersen P., M. Madsen, H. Riis [78]: New extended attribute system (NEATS). Computer Science Department, Aarhus University, 1978.Google Scholar
  13. Kennedy K., J. Ramanathan [79]: A deterministic Attribute Grammar evaluator based on dynamic sequencing. ACM Toplas, Vol. 1, no. 1, July 1979 (142–160).CrossRefGoogle Scholar
  14. 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
  15. Knuth D.E. [68]: Semantics of context free languages. Math. Sys. Theory, Vol. 2, No. 2, 1968.Google Scholar
  16. Koster C.H.A. [71]: Affix grammars. In ALGOL 68 Implementation (J.F. Peck, ed.) pp. 95–109. Amsterdam: North-Holland 1971.Google Scholar
  17. Lewis P.M., D.J. Rosenkrantz, R.E. Stearns [74]: Attributed translations. J. Computer and System Sciences 9, 279–307 (1974).Google Scholar
  18. 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
  19. 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
  20. Madsen O.L. [79a]: An introduction to attribute grammars by examples. Computer Science Department, Aarhus University, April 1979.Google Scholar
  21. 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
  22. Marcotty M., H.F. Ledgard, G.V. Bochmann [76]: A sampler of formal definitions. ACM, Computing Surveys, Vol. 8, no. 2, 1976.Google Scholar
  23. Mayoh B.H.[76]: Verification and compilation in MSL. Computer Science Department, Aarhus University, June 1976, unpublished manuscript.Google Scholar
  24. Mayoh B.H.[78]: Attribute grammars and mathematical semantics. Computer Science Department, Aarhus University, DAIMI PB-90, August 1978.Google Scholar
  25. Mosses P. [79]: SIS — Semantics implementation system. Reference manual and user guide. Computer Science Department, Aarhus University, DAIMI MD-30, August 1979.Google Scholar
  26. 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
  27. Riis H. [80]: Subclasses of attribute grammars. Computer Science Department, Aarhus University, Master Thesis, DAIMI PB-114, January 1980.Google Scholar
  28. 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
  29. Tennent R.D. [76]: The denotational semantics of programming languages. Comm. ACM, Vol. 19, 8, 437–453(1976).CrossRefGoogle Scholar
  30. Watt D.A. [74a]: Analysis oriented two-level grammars. University of Glasgow, Ph. D. Thesis, 1974.Google Scholar
  31. Watt D.A.[74b]: LR-parsing of affix-grammars. University of Glasgow, Report no. 7, 1974.Google Scholar
  32. Watt D.A. [77]: The parsing problem for affix-grammars. ACTA Informatica, 8, 1–20(1977).Google Scholar
  33. Watt D.A.[79]: An extended attribute grammar for Pascal. Sigplan Notices, Vol. 14, no. 2, 1979.Google Scholar
  34. 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
  35. 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).CrossRefGoogle Scholar
  36. Wilner W. [72]: Declarative semantic definition. STAN-CS-233-71, Ph. D. Thesis, Stanford, California, 1971.Google Scholar
  37. Wirth N. [71]: The programming Language PASCAL. ACTA Informatica 1, 35–63(1971).CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Ole Lehrmann Madsen
    • 1
  1. 1.Computer Science DepartmentAarhus UniversityAarhus CDenmark

Personalised recommendations