Browse thread
Parsing ANSI C using OCAML
-
Laurent Reveillere
- Jean-Christophe Filliatre
- John Max Skaller
- Remi VANICAT
- Sven LUTHER
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2000-12-04 (21:59) |
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