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

The Caml Hump: Moca

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
Version:0.7.0
Development status:Beta
Kind: Development tools
License: Open Source :: QPL
Topic: Software development :: Code generators
General purpose libraries :: Data structures
Homepage:http://moca.inria.fr/