Directory | Tags | Index | LinkIt | Submit   | Help
    Thursday, 20 September 2018 - anonymous
Login/Register to vote and to have access to more features

You are here: Root > Software > Applications

View the dependency graph for this library

Autowrite: a tool for handling term rewriting systems and tree automata
Created by on: Thu, 18 Jun 2009 07:20:54 GMT, Last modification: Thu, 18 Jun 2009 07:20:54 GMT

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.
Web site
Mailing list
Version3.5 -
OS compatibilityBinary available for MacOSX and Linux.
Sources compilable with SBCL.
The graphical interface requires the CLIM system.
ASDF installableYes
Official Download
Mirrored Download
Source code repository

Compatible Implementations


Required Libraries  View graph


Authors and Maintainers

Irčne Durand



0 Notes and 0 comments

0 Notes

You must be logged to add a note


You must be logged to add a comment