Version française
Home     About     Download     Resources     Contact us    
Browse thread
Parsing ANSI C using OCAML
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@l...>
Subject: Re: Parsing ANSI C using OCAML

In his message of Thu November 30, 2000, Laurent Reveillere writes: 
> I have to build a lexer/parser for the ANSI C language.
> Does anyone now if such a tool exists in OCAML?

I  don't know  of  such a  lexer/parser. But  you  can find  a lot  of
lex/yacc grammars  for ANSI C on  the web, which can  be easily turned
into ocamllex/ocamlyacc grammars. Here is such a site:

     http://www.lysator.liu.se/c/ANSI-C-grammar-y.html

Hope this helps,
-- 
Jean-Christophe FILLIATRE
  mailto:Jean-Christophe.Filliatre@lri.fr
  http://www.lri.fr/~filliatr