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/ |