Login/Register to vote and to have access to more featuresYou are here: Root > Software > Applications
View the dependency graph for this libraryAutowrite: a tool for handling term rewriting systems and tree automata
Created by idurand@labri.fr 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.
| idurand@labri.fr | |
| Web site | http://dept-info.labri.u-bordeaux.fr/~idurand/autowrite/ |
| Mailing list | |
| Version | 3.5 - |
| Maturity | Experimental |
| OS compatibility | Binary available for MacOSX and Linux. Sources compilable with SBCL. The graphical interface requires the CLIM system. |
| ASDF installable | Yes |
| Official Download | http://dept-info.labri.u-bordeaux.fr/~idurand/autowrite/Autowrite.tgz |
| Mirrored Download | |
| Source code repository |
Compatible Implementations
Required Libraries View graph
Authors and Maintainers
Tags
0 Notes and 0 comments
0 Notes
You must be logged to add a note
0 Comments
You must be logged to add a comment