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

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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