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
Now we have two versions available.
Both versions can deal built-in functions written in C.
- cdimple 1.x: inner-most reduction strategy.
- cdimple 3.x: normalizing strategy(Forward-Branching).
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).