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