From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA31518 for caml-redistribution; Sun, 24 Jan 1999 15:39:33 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA18271 for ; Sat, 23 Jan 1999 09:52:32 +0100 (MET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id JAA22319; Sat, 23 Jan 1999 09:52:30 +0100 (MET) Received: (from fpottier@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA24821; Sat, 23 Jan 1999 09:52:30 +0100 (MET) Message-ID: <19990123095230.42276@pauillac.inria.fr> Date: Sat, 23 Jan 1999 09:52:30 +0100 From: Francois Pottier To: Basile STARYNKEVITCH , Caml Mailing List Subject: Re: C program analyser in Ocaml? References: <13992.35774.925837.774045@orion.serma.cea.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 0.89.1 In-Reply-To: <13992.35774.925837.774045@orion.serma.cea.fr>; from Basile STARYNKEVITCH on Fri, Jan 22, 1999 at 03:31:26PM +0100 Sender: weis > 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/