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: Moca


Mocac is a generator of construction functions for Caml concrete data types with algebraic invariants and maximal sharing facilities. Algebraic invariants are specified by using keywords denoting equational theories like commutativity and associativity. The construction functions generated by Mocac allow each equivalence class to be represented by a unique value.
Homepage ]
Author:Frédéric Blanqui and Pierre Weis.
Last modification date:18-Jun-2012
Development status:Beta
Kind: Development tools
License: Open Source :: QPL
Topic: Software development :: Code generators
General purpose libraries :: Data structures