English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

The Caml Hump: Dynamic contract checking for OCaml

Dynamic contract checking for OCaml

A prototype that does dynamic contract checking for OCaml code. The prototype is built upon the source code of ocamlc-3.11.2.
Homepage ]
Author:Dana N. Xu.
Last modification date:04-Jul-2011
Development status:Beta
Kind: Patch
Topic: Software development :: Language extensions
Homepage:http://gallium.inria.fr/~naxu/research/camlcontract.pdf