Re: Avoiding inherited attributes in bottom-up parsing

martin.jourdan@directprovider.net (Martin Jourdan)
10 Sep 1999 00:06:09 -0400

          From comp.compilers
Related articles
Avoiding inherited attributes in bottom-up parsing toca@serop.abb.se (Tobias Carlsson) (1999-08-27)
Re: Avoiding inherited attributes in bottom-up parsing rkrayhawk@aol.com (1999-08-28)
Re: Avoiding inherited attributes in bottom-up parsing world!cfc@uunet.uu.net (Chris F Clark) (1999-08-28)
Re: Avoiding inherited attributes in bottom-up parsing torbenm@diku.dk (1999-09-05)
Re: Avoiding inherited attributes in bottom-up parsing martin.jourdan@directprovider.net (1999-09-10)
Avoiding inherited attributes in bottom-up parsing sassa@is.titech.ac.jp (1999-09-10)
| List of all articles for this month |
From: martin.jourdan@directprovider.net (Martin Jourdan)
Newsgroups: comp.compilers
Date: 10 Sep 1999 00:06:09 -0400
Organization: Famille Jourdan, Villepreux, France
References: 99-08-104 99-09-011
Keywords: parse

Torben AEgidius Mogensen <torbenm@diku.dk> wrote:
> If you use a functional language, inherited attributes can easily be
> emulated by using higher order functions. If nonterminal N has an
> inherited attribute of type A and a synthesized attribute of type B,
> this is emulated by giving N a (synthesized) attribute of type (A -> B).


This is the basis of Knuth' well-known (?) proof that every AG is
equivalent to a purely-synthesized AG, circa 1970. At that time, this
result was deemed not too practical :-)
--
              Martin Jourdan <Martin.Jourdan@directprovider.net>

Post a followup to this message

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