|Combinator/Monadic parsing tools. firstname.lastname@example.org (Thaddeus L Olczyk) (2003-02-24)|
|Re: Combinator/Monadic parsing tools. email@example.com.EDU.AU (Peter Gammie) (2003-03-09)|
|Abstract syntax tree grammars and generator tools firstname.lastname@example.org (Ralph P. Boland) (2003-03-14)|
|Re: Abstract syntax tree grammars and generator tools email@example.com (2003-03-16)|
|Re: Abstract syntax tree grammars and generator tools firstname.lastname@example.org (David Chase) (2003-03-17)|
|Re: Abstract syntax tree grammars and generator tools Nicola.Musatti@ObjectWay.it (2003-03-22)|
|From:||email@example.com (Martin Jourdan)|
|Date:||16 Mar 2003 23:55:46 -0500|
|Organization:||Famille Jourdan, Villepreux, France|
|References:||03-02-148 03-03-009 03-03-048|
|Posted-Date:||16 Mar 2003 23:55:46 EST|
Ralph P. Boland <firstname.lastname@example.org> wrote:
> I want an abstract syntax tree builder generator tool that takes as input
> 1) the grammar for the input language from which parse trees are built
> (we'll ignore lexical analysis for now).
> 2) the grammar for the abstract syntax of the input language.
> and builds a program that constructs the corresponding abstract syntax
> tree from a given parse tree (built by a parser built by a parser
> generator tool of course).
When I was at INRIA, my group and I have developed such a tool as part
of the Fnc-2 attribute grammar system. There was a language (asx) for
describing abstract grammars and a language (atc = abstract tree
construction) that described how trees of these abstract grammars
could be derived from a parse of a concrete BNF grammar (in practice,
the atc processor produced tree construction actions associated with
reductions performed by the parser).
AFAIK, Fnc-2 is not maintained anymore, but if any hope remains to undig
it, it lies with my former colleague Didier Parigot, see
for a description of Fnc-2 and
http://www-sop.inria.fr/oasis/Didier.Parigot/ for Didier's home page.
Martin Jourdan <Martin.Jourdan@free.fr>
Return to the
Search the comp.compilers archives again.