| Efremidis S.G., Mughal K.A., Soraas L., Reppy J.H. AML: Attribute Grammars in ML. Nordic Journal of Computing, March 1997. |
....0 j l; Rules Rule rule r 1 overrides super(l) r 2 f P rods g : Rules(l) 0 (21) 5. Related Work There has been a lot of research on augmenting ordinary attribute grammars with extensions to overcome deciencies of attribute grammars such as lack of modularity, extensibility and reusability [9, 10, 11, 12, 13, 14, 15]. Modular attribute grammars MAG [16] are proposed as a solution to attribute pragmatic problems. The whole language specication consists of several MAGs. A single MAG is a set of patterns and associated templates. For each match between a production and pattern a set of attribute computations is ....
Efremidis S.G., Mughal K.A., Soraas L., Reppy J.H. AML: Attribute Grammars in ML. Nordic Journal of Computing, March 1997.
....account both the structure (type) and the form of computations (signatures of extended accumulative function) is to try to transpose the techniques for the generation of attribute evaluators. In fact, there exists an ionlinej translation of AG speci cations into functional programs (see [Joh87, EMR93] but the resulting programs require, in the worst case, a kind of non strict evaluation called lenient [SG95, Tre94] Lenient evaluation is a sub class of lazy evaluation which does not allow in nite data structures. As said in the introduction, most researches on AGs have focused on the ....
Sofoklis G. Efremidis, Khalid A Mughal, and John H. Reppy. AML: Attribute grammars in ML. Tr 93-1401, Cornell University, December 1993.
....we describe our specification language for attribute grammars, followed by a description of the internals of our system. Lastly, we discuss the project s status and future plans. An earlier description of this project was presented in [4] This paper is an updated version of the technical report [5]. 2. Attribute grammars An attribute grammar is a context free grammar (CFG) together with a set of attributes for each nonterminal and a set of attribute evaluation rules for each production. An attribute is either synthesized or inherited. For each production p : X 0 : X 1 : X np , there ....
EFREMIDIS, S.G., MUGHAL, K.A., AND REPPY, J.H. 1993. AML: Attribute grammars in ML. Tech. Report Report No. 89, Department of Informatics, University of Bergen, Norway.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC