Automatic Generation of Code for Tree-Like Data Types
This is an experimental tool that translates
specifications of inductive (algebraic) data types into C++-code.
These are the slides
which were presented at C++-now,
and the tree generator itself is
here.
In order to compile it, you will need
Maphoon, TVM and utilities, which can be obtained from the main page.
The Prolog example, and multimodal logic, use the tree generator.
Note that this is experimental software.
If you want to use it seriously, please write to me.