[
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: | -- (:) |
| From: | Francois Pottier <Francois.Pottier@i...> |
| Subject: | Re: C program analyser in Ocaml? |
> I am also interested by any Ocaml program related to abstract > interpretation. Patrick Cousot has written a generic abstract interpreter in OCaml. It is available from http://www.dmi.ens.fr/~cousot/COUSOTpapers/Marktoberdorf98.shtml -- François Pottier Francois.Pottier@inria.fr http://pauillac.inria.fr/~fpottier/