Re: Ox generalizes Yacc and Lex for attribute grammars

>What are some good references for attribute grammars? Does the dragon
>book talk about them at all?


I think it was D.E Knuth who introduced them in his "Semantics of
context-free languages" (Math. Syst. Theory Vol.2 No. 2 1968).
Kastens describes a subclass to AGs, Ordered AGs, which form the
basis for the GAG-system, but he also makes a classification of AGs
in "Ordered Attribute Grammars" (Acta Informatica 13, 229-256, 1980).


As for textbooks, see Waite/Goos: Compiler Construction ch. 8 & 9,
and Fischer/LeBlanc Crafting a Compiler ch. 14. Waite/Goos are more
theoretical than Fischer/LeBlanc. Aho/Sethi/Ullman "The Dragon Book"
talks about attributes and their role in the translation process, but
they call it "syntax directed definitions" and don't use the term
"attribute grammars" (ch. 5). Chapter 6 gives example of a simple
type checker using atrribute rules.




        Mats Winberg
        Ericsson Telecom
        Stockholm, Sweden
--

Return to the comp.compilers page.
Search the comp.compilers archives again.