Re: Ox generalizes Yacc and Lex for attribute grammars

etxmow@garbo.ericsson.se (Mats Winberg)
Wed, 17 Nov 1993 10:06:13 GMT

          From comp.compilers

Related articles
Ox generalizes Yacc and Lex for attribute grammars bischoff@cs.iastate.edu (Kurt Bischoff) (1993-11-16)
Re: Ox generalizes Yacc and Lex for attribute grammars a_tucker@paul.spu.edu (Andrew Tucker) (1993-11-16)
Re: Ox generalizes Yacc and Lex for attribute grammars wjw@eb.ele.tue.nl (1993-11-17)
Re: Ox generalizes Yacc and Lex for attribute grammars etxmow@garbo.ericsson.se (1993-11-17)
Re: Ox generalizes Yacc and Lex for attribute grammars bevan@cs.man.ac.uk (Stephen J Bevan) (1993-11-17)
Re: Ox generalizes Yacc and Lex for attribute grammars rad@cs.ucsb.edu (1993-11-18)
Re: Ox generalizes Yacc and Lex for attribute grammars cspt@giraffe.ru.ac.za (1993-11-19)
Re: Ox generalizes Yacc and Lex for attribute grammars buehlman@iwf.mabp.ethz.ch (1993-11-23)
| List of all articles for this month |

Newsgroups: comp.compilers
From: etxmow@garbo.ericsson.se (Mats Winberg)
Keywords: attribute, bibliography
Organization: Ericsson Telecom, Stockholm, Sweden
References: 93-11-100
Date: Wed, 17 Nov 1993 10:06:13 GMT

>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
--


Post a followup to this message

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