Re: Abstract syntax tree grammars and generator tools

martin.jourdan@free.fr (Martin Jourdan)
16 Mar 2003 23:55:46 -0500

          From comp.compilers

Related articles
Combinator/Monadic parsing tools. olczyk@interaccess.com (Thaddeus L Olczyk) (2003-02-24)
Re: Combinator/Monadic parsing tools. peteg@cse.unsw.EDU.AU (Peter Gammie) (2003-03-09)
Abstract syntax tree grammars and generator tools rpboland@math.uwaterloo.ca (Ralph P. Boland) (2003-03-14)
Re: Abstract syntax tree grammars and generator tools martin.jourdan@free.fr (2003-03-16)
Re: Abstract syntax tree grammars and generator tools chase@theworld.com (David Chase) (2003-03-17)
Re: Abstract syntax tree grammars and generator tools Nicola.Musatti@ObjectWay.it (2003-03-22)
| List of all articles for this month |

From: martin.jourdan@free.fr (Martin Jourdan)
Newsgroups: comp.compilers
Date: 16 Mar 2003 23:55:46 -0500
Organization: Famille Jourdan, Villepreux, France
References: 03-02-148 03-03-009 03-03-048
Keywords: parse, attribute
Posted-Date: 16 Mar 2003 23:55:46 EST

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>


Post a followup to this message

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