* Abstract interpretation of ocaml code
@ 2006-03-19 14:56 Vincenzo Ciancia
0 siblings, 0 replies; only message in thread
From: Vincenzo Ciancia @ 2006-03-19 14:56 UTC (permalink / raw)
To: caml-list
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2006-03-19 14:54 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-03-19 14:56 Abstract interpretation of ocaml code Vincenzo Ciancia
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).