Conditional Attribute Grammars

ACM Transactions on Programming Languages and Systems

Volumn 18, Issue 1, 1996, Pages 73-108

  Boyland, John Tang ^a,b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Categories and Subject Descriptors: D.3.4 Programming Languages : Processors code generation; compilers; translator writing systems and compiler generators; F.4.2 Mathematical Logic and Formal Languages : Grammars and Other Rewriting Systems

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; FUNCTION EVALUATION;

ATTRIBUTE GRAMMARS; CONDITIONAL ATTRIBUTE GRAMMARS;

COMPUTATIONAL GRAMMARS;

EID: 0029706401     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/225540.225544     Document Type: Article

References (22)

1. ALBLAS, H. 1991. Introduction to attribute grammars. In Attribute Grammars, Applications and Systems. SAGA Proceedings (Prague, Czechoslovakia, June 4-13), H. Alblas and B. Melichar, Eds. Lecture Notes in Computer Science, vol. 545. Springer-Verlag, Berlin, 1-15.
2. BOCHMANN, G. V. 1976. Semantic evaluation from left to right. Commun. ACM 19, 2 (Feb.), 55-62.
3. BOYLAND, J. AND GRAHAM, S. L. 1994. Composing tree attributions. In Conference Record of the 21st Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages (Portland, Oreg.). ACM, New York, 375-388.
4. COURCELLE, B. AND FRANCHI-ZANNETTACCI, P. 1982. Attribute grammars and recursive program schemes. Theor. Comput. Sci. 17, 2-3 (Feb.-Mar.), 163-191, 235-257.
5. DERANSART, P., JOURDAN, M., AND LORHO, B. 1988. Attribute Grammars: Definitions, Systems and Bibliography. Lecture Notes in Computer Science, vol. 323. Springer-Verlag, Berlin.
6. ENGELFHIET, J. AND FILÉ, G. 1981a. The formal power of one-visit attribute grammars. Acta Inf. 16, 3 (Nov.), 275-302.
7. ENGELFRIET, J. AND FILÉ, G. 1981b. Passes, sweeps and visits. In Automata, Languages and Programming. Eighth Colloquium (Acre, Israel, July 13-17), S. Even and O. Kariv, Eds. Springer-Verlag, Berlin, 193-207.
8. ENGELFRIET, J. AND FILÉ, G. 1982. Simple multi-visit attribute grammars. J. Comput. Syst. Sci. 24, 3, 283-314.
9. FARROW, R. 1982. Linguist-86: Yet another translator writing system based on attribute grammars. In Proccedings of the ACM SIGPLAN '82 Symposium on Compiler Construction (Boston, Mass.). SIGPLAN Not. 17, 6 (June), 160-171.
10. FARROW, R. 1984. Sub-protocol-evaluators for attribute grammars. In Proceedings of the ACM SIGPLAN '84 Symposium on Compiler Construction (Montreal, Quebec, Canada). SIGPLAN Not. 19, 6 (June), 70-80.
11. GANZINGER, H. AND GIEGERICH, R. 1984. Attribute coupled grammars. In Proceedings of the ACM SIGPLAN '84 Symposium on Compiler Construction (Montreal, Quebec, Canada). SIGPLAN Not. 19, 6 (June), 157-170.
12. GIEGERICH, R. 1988. Composition and evaluation of attribute coupled grammars. Acta Inf. 25, 4, 355-423.
13. JAZAYERI, M., OGDEN, W., AND ROUNDS, W. 1975. The intrinsically exponential complexity of the circularity problem for attribute grammars. Commun. ACM 18, 12 (Dec.), 697-706.
14. JOURDAN, M. 1984a. An optimal-time recursive evaluator for attribute grammars. In International Symposium on Programming 6th Colloquium (Toulouse, France), M. Paul and B. Robinet, Ed. Springer-Verlag, Berlin, 167-178.
15. JOURDAN, M. 1984b. Strongly non-circular attribute grammars and their recursive evaluation. In Proceedings of the ACM SIGPLAN '84 Symposium on Compiler Construction (Montreal, Quebec, Canada). SIGPLAN Not. 19, 6 (June), 81-93.
16. JOURDAN, M. AND PARIGOT, D. 1991. Internals and externals of the FNC-2 attribute grammar system. In Attribute Grammars, Applications and Systems. SAGA Proceedings (Prague, Czechoslovakia, June 4-13), H. Alblas and B. Melichar, Eds. Lecture Notes in Computer Science, vol. 545. Springer-Verlag, Berlin, 485-504.
17. KASTENS, U. 1980. Ordered attributed grammars. Acta Inf. 13, 3 (Mar), 229-256.
18. KASTENS, U. 1991. Implementation of visit-oriented attribute evaluators. In Attribute Grammars, Applications and Systems. SAGA Proceedings (Prague, Czechoslovakia, June 4-13), H. Alblas and B. Melichar, Eds. Lecture Notes in Computer Science, vol. 545. Springer-Verlag, Berlin, 114-139.
19. KENNEDY, K. AND WARREN, S. K. 1976. Automatic generation of efficient evaluators for attribute grammars. In Conference Record of the 3rd Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages. ACM, New York, 32-49.
20. KNUTH, D. E. 1968. Semantics of context free languages. Math Syst. Theor. 2, 2 (June), 127-145. Corrections appear in Math Syst. Theor. 5, 1 (1971), 95-96.
21. PARIGOT, D. 1988. Transformation, évaluation incrémentale et optimisations des grammaires attribuées: Le système FNC-2. Ph.D. thesis, Univ. de Paris-Sud, Orsay, France.
22. PARIGOT, D., ROUSSEL, G., DURIS, E., AND JOURDAN, M. 1995. Attribute grammars: A declarative functional language. Tech. Rep. RR 2662, INRIA, Rocquencourt, France. Oct.