Autowrite is a project carried out at the LaBRI laboratory at the University of Bordeaux. Autowrite is an experimental tool written in Common Lisp for checking properties of term rewrite systems (TRSs) .It was initially designed to check call-by-need (CBN) properties of TRSs. For this purpose, it implements all the basic operations on tree (term) automata (determinization, minimization, union, intersection, decision procedure for emptyness) and many useful operations on terms, TRSs and term automata.
A graphical interface frees the user of any lisp knowledge. It is written using FreeCLIM , the free implementation of the CLIM specification. From this interface, one can handle TRSs, term automata and build many term automata related to TRSs. one can check membership to CBN for the different approximations of a given system.
Autowrite can also be used independently from the graphical interface (and independently of CLIM) as a library of operations on terms, term automata and term rewriting systems.
|OS compatibility||Binary available for MacOSX and Linux.|
Sources compilable with SBCL.
The graphical interface requires the CLIM system.
|Source code repository|
You must be logged to add a note
You must be logged to add a comment