|Other than lex/yacc firstname.lastname@example.org (umar) (2004-08-23)|
|Re: Other than lex/yacc email@example.com (Dmitry A. Kazakov) (2004-08-25)|
|Re: Other than lex/yacc firstname.lastname@example.org (Nick Roberts) (2004-08-25)|
|Re: Other than lex/yacc email@example.com (Ira Baxter) (2004-09-07)|
|From:||"Nick Roberts" <firstname.lastname@example.org>|
|Date:||25 Aug 2004 14:55:56 -0400|
|Posted-Date:||25 Aug 2004 14:55:56 EDT|
On 23 Aug 2004 12:06:56 -0400, umar <email@example.com> wrote:
> I am looking for clean and efficient lexical/parser tool which
> generates (abstract) syntax trees, symbol table information and
> easily manipulatable intermediate form. It would be great if the
> tool allows handling assertions/comments also.
> I intend to derive verification conditions for the input program
> (may be in written in C,Java, or my own toy language).
> Any thing other than Lex/Yacc.
I feel I have to mention the Prolog programming language.
A free interpreter (which I can recommend) and tutorial are to be
but there are many other Prolog resources on the web.
I am considering using Prolog for my own purposes, for much the same
reasons you cite. It is not a parsing tool as such, but it is
readily programmed to do parsing (to generate trees) and tree
manipulations. Prolog can be used interactively, and structures are
easily played with. Just a thought.
Return to the
Search the comp.compilers archives again.