Re: C program analyser in Ocaml?

From: Francois Pottier (Francois.Pottier@inria.fr)
Date: Sat Jan 23 1999 - 09:52:30 MET

Next message: Anton Moscal: "Re: Array interface question"
Previous message: Pierre Weis: "Re: Array interface question"
Next in thread: Pierpaolo Bernardi: "C program analyser in Ocaml?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Date: Sat, 23 Jan 1999 09:52:30 +0100
From: Francois Pottier <Francois.Pottier@inria.fr>
To: Basile STARYNKEVITCH <Basile.Starynkevitch@cea.fr>,
Subject: Re: C program analyser in Ocaml?
In-Reply-To: <13992.35774.925837.774045@orion.serma.cea.fr>; from Basile STARYNKEVITCH on Fri, Jan 22, 1999 at 03:31:26PM +0100

> 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/

Next message: Anton Moscal: "Re: Array interface question"
Previous message: Pierre Weis: "Re: Array interface question"
Next in thread: Pierpaolo Bernardi: "C program analyser in Ocaml?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:18 MET