Attribute Grammar Paradigms—A High-Level Methodology in Language Implementation

ACM Computing Surveys (CSUR)

Volumn 27, Issue 2, 1995, Pages 196-255

  Paakki, Jukka ^a  

^a UNIVERSITY OF JYVÄSKYLÄ   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976834682     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/210376.197409     Document Type: Article

References (83)

1. ABRAMSON, H. 1984. Definite clause translation grammars. In Proceedings of the 1984 IEEE Symposium on Logic Programming (Atlantic City, N.J.). IEEE, New York, 233–240
2. ACM computing surveys, 21, 3, 1989. Special Issue on Programming Language Paradigms.
3. AHO, A. V., sethi, R., and uixman, J. D. 1986 Compilers—Principles, Techniques, and Tools. Addison-Wesley, Reading, Mass.
4. AKSIT, M., MOSTERT, R., AND HAVERKORT, B. 1990. Compiler generation based on grammar inheritance. Rep. 90–97, Dept, of Computer Science, Umv. of Twente.
5. ALBLAS, H. 1991. Attribute evaluation methods. In Attribute Grammars, Applications, and Systems, Lecture Notes in Computer Science, vol 545, Springer-Verlag, New York, 48–113.
6. ALBLAS, H. 1990. Concurrent incremental attribute evaluation. In Proceedings of the International Conference on Attribute Grammars and their Applications, Lecture Notes in Computer Science, vol 461 Springer-Verlag, New York, 343–358.
7. ALBLAS, H. AND MELICHAR, B. (EDS ) 1991. Attribute Grammars, Applications, and Systems. Lecture Notes in Computer Science, vol 545. Springer-Verlag, New York.
8. ALEXIN, Z, GYIM6THY, T., HORVATH, T, AND FABRICZ, K. 1990. Attribute grammar specification for a natural language understanding interface In Proceedings of the International Conference on Attribute Grammars and their Applications, Lecture Notes m Computer Science, vol 461, Springer-Verlag, New York, 313–326.
9. APPEL, A. W. AND MACQUEEN, D. E. 1991. Standard ML of New Jersey In Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming (PLILP ’91). Lecture Notes m Computer Science, vol. 528, J. Maluszynski and M. Wirsmg, Eds. Springer-Verlag, New York, 1–13.
10. ARBAB, B. 1986. Compiling circular attribute grammars into Prolog. IBM J. Res. Bevel. 30, 3, 294–309.
11. AUGUSTEIJN, L. 1990. The Elegant Compiler Generator System. In Proceedings of the International Conference on Attribute Grammars and their Applications, Lecture Notes in Computer Science, vol 461. Springer-Verlag, New York, 238–254.
12. BABICH, W. A. AND JAZAYERI, M. 1978 The method of attributes for data flow analysis, Part I. Exhaustive analysis; Part II: Demand analysis Acta Informatica 10, 245–272.
13. BALLANCE, R. A. AND GRAHAM, S. L. 1991. Incremental consistency maintenance for interactive applications In Proceedings of the 8th International Conference on Logic Programming, K. Furukawa, Ed The MIT Press, Cambridge, Mass., 895–909. BALLANCE, R. A., GRAHAM, S. L., AND VAN DE VAN-TER, M. L. 1990. The Pan language-based editing system for integrated development environments. In Proceedings of the 4th ACM SIG-SOFT Symposium on Software Development Environments (SIGSOFT ’90). ACM SIG-SOFT Softw. Eng. Notes 15, 6, 77–93.
14. BENTLEY, J. 1986. Little languages. Commun, ACM 29, 8, 711–722.
15. BOCHMANN, G. V. 1976. Semantic evaluation from left to right. Commun. ACM 19, 2, 55–62.
16. BOCHMANN, G. V. AND WARD, P. 1978. Compiler writing system for attribute grammars. Corn-put. J. 21, 2, 144–148.
17. BOEHM, H.-J. and ZWAENEPOEL, W. 1987. Parallel attribute grammar evaluation. In Proceedings of the 7th International IEEE Conference on Distributed Computing Systems (Berlin). IEEE, New York, 347–354.
18. BRYANT, B. R. AND PAN, A. 1989. Rapid prototyping of programming language semantics using Prolog. In Proceedings of IEEE COMPSAC ' x2018;89 (Orlando, FL). IEEE, New York, 439–446.
19. CHAPMAN, N. P. 1990. Defining, analysing and implementing communication protocols using attribute grammars. Formal Aspects Comput. 2, 359–392.
20. CHIRICA, L. M. AND MARTIN, D. F. 1979. An order-algebraic definition of Knuthian semantics. Math. Syst. Theory 13, 1, 1–27.
21. CHOMSKY, N, 1959. On certain formal properties of grammars. Inf. Contr. 2, 137–167.
22. COLMERAUER, A. 1978. Metamorphosis grammars. In Natural Language Communication with Computers, L. Bole, Ed. Springer-Verlag, New York, 133–189.
23. COURCELLE, B. AND FRANCHI-ZANNETTACCI, P. 1982. Attribute grammars and recursive program schemes. Theor. Comput. Sci. 17, 2, 163–191 (Part I) and 17, 3, 235–257 (Part II).
24. COUSINEAU, G. AND HUET, G. 1990. The CAML Primer. Tech. Rep. 122, INRIA.
25. CRIMI, C., GUERCIO, A., PACINI, G., TORTORA, G., AND TUCCI, M. 1990. Automating visual language generation. IEEE Trans. Softw. Eng. 16, 10, 1122–1135.
26. DAHL, V. AND ABRAMSON, H. 1989. Logic Grammars. Springer-Verlag, New York.
27. DAHL, V. AND ABRAMSON,H. 1984. Gapping grammars. In Proceedings of the 2nd International Logic Programming Conference (Uppsala).
28. DECLARATIVE SYSTEMS 1992.User Manual for the Linguist Translator-Writing System. Declarative Systems, Inc., Palo Alto, Calif.
29. DELEST, M. P. AND FEDOU, J. M. 1992. Attribute grammars are useful for combinatorics. Theor. Comput. Sci. 98, 1, 65–76.
30. DEPARTMENT OF DEFENSE. 1983. The Programming Language Ada, Reference Manual. ANSI/MIL-STD-1815A-1983. Springer-Verlag, New York.
31. DERANSART, P. AND JOURDAN,M. (ED.). 1690. Proceedings of the International Conference on At- Directed Compiler Generation Lecture Notes in Computer Science, vol. 94, N. D. Jones, Ed. Springer-Verlag, New York, 1–69.
32. GANZINGER, H AND GIEGERICH, R. 1984. Attribute coupled grammars. In Proceedings of the ACM SIGPLAN ’84 Symposium on Compiler Construction. ACM SIGPLANNot. 19, 6, 157–170.
33. GANZINGER, H,, GIEGERICH, R., MONCKE, U., AND WILHELM, R. 1982. A truly generative seman-tics-directed compilet generator. In Proceedings of the ACM SIGPLAN ’82 Symposium on Compiler Construction. ACM SIGPLAN Not. 17, 6, 172–184.
34. GARRISON, P. 1987 Modeling and implementation of visibility m programming languages. Rep. UCB/CSC 88/400, Computer Science Division, Univ. of California, Berkeley, Calif.
35. GIEGERICH, R. AND WILHELM, R. 1978. Counter-one-pass features in one-pass compilation: A formalisation using attribute grammars. Inf, Process. Lett. 6, 279–284.
36. GOLDBERG, A. AND ROBSON, D. 1983. Smalltalk-80: The Language and Its Implementation Addi-son-Wesley, Reading, Mass.
37. GROSCH, J. 1990. Object-oriented attribute grammars. In Proceedings of the 5th International Symposium on Computer and Information Sciences (ISCIS V), A. E. Harmanci and E. Gelenke, Eds. 807–816.
38. GROSS, T., ZOBEL, A., AND ZOLG, M. 1989. Parallel compilation for a parallel machine. In Proceedings of the ACM SIGPLAN 989 Conference on Programming Language Design and Implementation. ACM SIGPLAN Not. 24, 7, 91–100.
39. GROSSMANN, R., HUTSCHENREITER, J., LAMPE, J., LOTZSCH, J., AND MAGER, K. 1984. DEPOT2a—Metasystem fur die Analyse und Verarbeitung verbundener Fachsprachen. An-wenderhandbuch, Sektion Mathematik, Technische Universitat Dresden.
40. HANSON, D. R. 1981 Is block structure necessary? Soft. Prac. Exp. 11,8, 853–866.
41. HEDIN, G. 1989. An object-oriented notation for attribute grammars. In Proceedings of the 3rd European Conference on Object-Oriented Programming (ECOOP ' x2018;89), S. Cook, Ed. British Informatics Society Ltd., Nottingham, 329–345.
42. HEDIN, G. 1994. An overview of door attribute grammars In Proceedings of the International Conference on Compiler Construction (CC' x2018;94) Lecture Notes m Computer Science, vol 786, P. Fritzson, Ed. Springer-Verlag, New York.
43. HEDIN, G. 1992. Incremental semantic analysis. Doctoral dissertation, Lund University.
44. HEERING, J., KLINT, P., AND REKERS, J. 1990. Incremental generation of parsers. IEEE Trans. Softw Eng. SE-16, 12, 1344–1351.
45. HORWITZ, S. AND REPS, T. 1992. The use of program dependence graphs in software engineering. In Proceedings of the 14th International Conference on Software Engineering IEEE Computer Society Press, Los Alamitos, Calif., 392–411.
46. Ordered attributed grammars
47. KASTENS, U. 1980, Ordered attributed grammars, Acta Informatica 13, 229–256.
48. KASTENS, U. AND WAITE, W. M. 1991. An abstract data type for name analysis, Acta Informatica 28, 6, 539–558.
49. KASTENS, U., HUTT, B., AND ZIMMERMANN, E. 1987. User Manual for the GAG-System, Version 7. GAG Documentation, GMD Forschungsstelle an der Universitat Karlsruhe.
50. KASTENS, U., HUTT, B,, AND ZIMMERMANN, E. 1982. GAG: A Practical CompiIer Generator. Lecture Notes in Computer Science, vol. 141. Springer-Verlag, New York.
51. KATSEFF, H. P. 1988. Data partitioning to implement a parallel assembler. In Proceedings of the ACM Conference on Parallel Programming: Experiences with Applications, Languages and Systems (PPEALS 1988). ACM SIGPLAN Not. 23, 9, 66–76.
52. KENNEDY, K. AND WARREN, S. 1976. Automatic generation of efficient evaluators for attribute grammars. In Conference Record of the 3rd ACM Symposium on Principles of Programming Languages. ACM, New York, 32–49.
53. KLEENE, S. C. 1952.Introduction to Metamathematics. North-Holland, Amsterdam,
54. KLEIN, E. 1992. Parallel ordered attribute grammars. In Proceedings of the IEEE Conference on Computer Languages. IEEE, New York, 106–116.
55. KLEIN, E. AND KOSKIMIES, K. 1989. The parallelization of one-pass compilers. Arbeitspapiere der GMD 416, Gesellschaft fur Mathematik und Datenverabeitung mbH.
56. KLEIN, E. AND KOSKIMIES, K. 1990. Parallel one-pass compilation. In Proceedings of the International Conference on Attribute Grammars and their Applications. Lecture Notes in Computer Science, vol. 461. Springer-Verlag, New York, 76–90.
57. KNUTH, D. E. 1990. The genesis of attribute grammars. In Proceedings of the International Conference on Attribute Grammars and their Applications. Lecture Notes in Computer Science, vol. 461. Springer-Verlag, New York, 1–12.
58. KNUTH, D. E. 1971, Examples of formal semantics. In Proceedings of the Symposium on Semantics of Algorithmic Languages. Lecture Notes in Mathematics, vol. 188, E. Engeler, Ed. Springer-Verlag, New York, 212–235.
59. KNUTH, D. E. 1968. Semantics of context-free languages. Math. Syst. Theory 2, 2, 127–145. (Cor-rigenda: Math. Syst. Theory 5, 1, 1971, 95-96.)
60. KNUTH, D. E. 1965. On the translation of languages from left to right. Inf. Contr. 8, 6, 607–639.
61. KOSKIMIES, K. 1991. Object-orientation in attribute grammars. In Attribute Grammars, Applications and Systems. Lecture Notes in Computer Lecture Notes m Qomputer Science, vol. 545. Sprmger-Verlag, New York, 330–357.
62. MALUSZYNSKI, J. 1982, A comparison of the logic programming language Prolog with two-level grammars. In Proceedings of the 1st International Logic Programming Conference, M. van Caneghem, Ed. Faculte des Sciences de Luminy, Marseilles, 193–199
63. MASON, T AND BROWN, D. 1990. Lex & Yacc. O’Reilly & Associates, Inc., Sebastopol, Calif.
64. MAYOH, B. 1981. Attribute grammars and mathematical semantics. SIAM J. Comput. 10, 3, 503–518.
65. NAUR, P. (ED.), 1960. Report on the algorithmic language ALGOL 60. Commun. ACM 3, 5, 299–314.
66. NOLL, T. AND VOGLER, H. 1994. Top-down parsing with simultaneous evaluation of noncircular attribute grammars Fundamenta Inf. 20, 4, 285–331.
67. NOTKIN, D. 1985. The Gandalf Project. J. Syst Softw. 5, 91–106.
68. PAAKKI, J. 1991. PROFIT: A system integrating logic programming and attribute grammars. In Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming (PLILP ’91). Lecture Notes in Computer Science, vol. 528, J. Maluszynski and M. Wirsing, Eds. Springer-Verlag, New York, 243–254.
69. PAAKKI, J. 1990. A logic-based modification of attribute grammars for practical compiler writing. In Proceedings of the 7th International Conference on Logic Programming, D. H. D Warren and P. Szeredi, Eds. The MIT Press, Cambridge, Mass., 203–217.
70. PAAKKI, J. AND TOPPOLA, K. 1990. An error-recover-ing form of DCGs. Acta Cybernetica 9, 3, 211–221.
71. PAULSON, L. 1982. A semantics-directed compiler generator In Proceedings of the 9th Annual ACM Symposium on Principles of Programming Languages (Albuquerque, New Mex.) ACM, New York, 224–233.
72. PEREIRA, F. C. N. AND WARREN, D H. D. 1980. Definite clause grammars for language analy-sis—A survey of the formalism and a comparison with augmented transition networks. Artif. IntelL 13, 231–278.
73. PEYTON JONES, S. L. 1985. Yacc in Sasl—An exercise in functional programming. Softw. Pract. Exp. 15, 8, 807–820
74. REISS, S. P. 1987 Automatic compiler production: The front end. IEEE Trans. Softw. Eng. SE-13, 6, 609–627.
75. REISS, S. P. 1983. Generation of compiler symbol processing mechanisms from specifications. ACM Trans. Program. Lang. Syst 5, 2, 127–163.
76. REPS, T. W. AND TEITELBAUM, T. 1989. The Synthesizer Generator—A System for Constructing - KIRCHGASSNER, W. 1982. An Attribute Grammar for the Semantic Analysis of Ada. Lecture Notes in Computer Science, vol. 139. Springer-Verlag, New York.
77. WAITE, W. M. 1990. Use of attribute grammars in compiler construction. In Proceedings of the International Conference on Attribute Grammars and their Applications. Lecture Notes in Computer Science, vol. 461. Springer-Verlag, New York, 255–266.
78. WAITE, W. M. 1986. Generator for attributed gram- data mars—-Abstract type. Arbeitspapiere der GMD 219, Gesellschaft fur Mathematik und Datenverarbeitung mbH.
79. Van DE BURGT, S. P. AND TILANUS, P. A, J. 1989. Attributed ASN.l. In Proceedings of the 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols. North-Holland, Amsterdam, 298–310.
80. WARREN, D. H. D., 1980. Logic programming andai compiler writing. Softw. Pract. Exp. 10, 2, 97–125.
81. WASSERMAN, A. L (ED.). 1980. Tutorial on programming language design. In Proceedings of IEEE COMPSAC 780. IEEE Computer Society Press, Los Alamitos, Calif.
82. Cliffs, WATT, D. A. 1991. Programming Language Syntax and Semantics. Prentice-Hall, Englewood N.J.
83. Programming Language Con-