A TRS compiler: CDIMPLE

Cdimple is a TRS compiler, whose name is come from "C DIrect IMPLEmentaion of Algebraic Specification". The history of this software is rather old. Dimple, the LISP vesion of cdimple, is developped 1984. Cdimple produces a C program implementing a given TRS. Now we have two versions available. Both versions can deal built-in functions written in C.


Ver 3.4: variable precision integers included.
Ver 3.5: notion of context sensitivity introduced.

Last modified: Oct.18.2005 by Masahiko Sakai(mail: sakai at i.nagoya-u.ac.jp).