Version française
Home     About     Download     Resources     Contact us    
Browse thread
Abstract interpretation of ocaml code
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Vincenzo Ciancia <vincenzo_yahoo_addressguard-gmane@y...>
Subject: Abstract interpretation of ocaml code
Hi all,

is there a framework, a library, or at least some existing source to modify,
for abstract interpretation of ocaml code? Is there a description of an
operational semantics of ocaml including references and side effects like
input/output?  

Thanks

Vincenzo

-- 
Please note that I do not read the e-mail address used in the from field but
I read vincenzo_ml at yahoo dot it
Attenzione: non leggo l'indirizzo di posta usato nel campo from, ma leggo
vincenzo_ml at yahoo dot it