COmpiling Program
Semantics into TErm Rewriting
Download Copster version 1.0
Online manual or pdf version.
Copster needs Ocaml
3.10 or later to be compiled. See the README
file for compilation instructions.
Copster: Copyright (C) 2009
Nicolas Barré, Laurent Hubert. Luka Le Roux and Thomas Genet
Javalib: Copyright (C)
2005-2009, Etienne André, Frédéric Besson, Nicolas
Canasse, Laurent Hubert, Tiphaine Turpin.
Supported by ANR-SETI RAVAJ.