Other than lex/yacc

umar <muj20@cam.ac.uk>
23 Aug 2004 12:06:56 -0400

          From comp.compilers
Related articles
Other than lex/yacc muj20@cam.ac.uk (umar) (2004-08-23)
Re: Other than lex/yacc mailbox@dmitry-kazakov.de (Dmitry A. Kazakov) (2004-08-25)
Re: Other than lex/yacc nick.roberts@acm.org (Nick Roberts) (2004-08-25)
Re: Other than lex/yacc idbaxter@semdesigns.com (Ira Baxter) (2004-09-07)
| List of all articles for this month |
From: umar <muj20@cam.ac.uk>
Newsgroups: comp.compilers
Date: 23 Aug 2004 12:06:56 -0400
Organization: CL
Keywords: parse, tools, question
Posted-Date: 23 Aug 2004 12:06:55 EDT

Hi,


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.


regards

Post a followup to this message

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