MODULAR ATTRIBUTE GRAMMARS

被引:16
作者
DUECK, GDP [1 ]
CORMACK, GV [1 ]
机构
[1] UNIV WATERLOO, DEPT COMP SCI, WATERLOO N2L 3G1, ONTARIO, CANADA
关键词
D O I
10.1093/comjnl/33.2.164
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Attribute grammars provide a formal declarative notation for describing the semantics and translation of programming languages. Describing any real programming language is a significant software engineering challenge. From a software engineering viewpoint, current notations for attribute grammars have two flaws: tedious repetition of essentially the same attribute computations is inevitable, and the various components of the description cannot be decomposed into modules - they must be merged (and hence closely coupled) with the syntax specification. This paper describes a tool that generates attribute grammars from pattern-oriented specifications. These specifications can be grouped according to the separation of concerns arising from individual aspects of the compilation process. Implementation and use of the attribute grammar generator MAGGIE is described.
引用
收藏
页码:164 / 172
页数:9
相关论文
共 23 条
[1]   SEMANTIC EVALUATION FROM LEFT TO RIGHT [J].
BOCHMANN, GV .
COMMUNICATIONS OF THE ACM, 1976, 19 (02) :55-62
[2]  
CORMACK GV, 1987, 20TH P ANN HAW INT C, P284
[3]  
Farrow R., 1982, SIGPLAN Notices, V17, P160, DOI 10.1145/872726.806992
[4]  
GANZINGER H, 1984, SIGPLAN NOTICES, V19, P157, DOI 10.1145/502949.502890
[5]  
GANZINGER H, 1982, SIGPLAN NOTICES, V17, P173
[6]  
JALILI F, SIGPLAN NOTICES, V18, P35
[7]   SPACE-EFFICIENT STORAGE MANAGEMENT IN AN ATTRIBUTE GRAMMAR EVALUATOR [J].
JAZAYERI, M ;
POZEFSKY, D .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1981, 3 (04) :388-404
[8]  
JULLIG RK, 1984, SIGPLAN NOTICES, V19, P171, DOI 10.1145/502949.502891
[9]   ORDERED ATTRIBUTED GRAMMARS [J].
KASTENS, U .
ACTA INFORMATICA, 1980, 13 (03) :229-256
[10]  
KASTENS U, 1982, LECTURE NOTES COMPUT, V141