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