Re: Abstract syntax tree grammars and generator tools

Ralph P. Boland <rpboland@math.uwaterloo.ca> 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
http://www-sop.inria.fr/oasis/Didier.Parigot/www/fnc2/littlefnc2.html
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 comp.compilers page.
Search the comp.compilers archives again.