Directory | Tags | Index | LinkIt | Submit   | Help
    Thursday, 21 August 2014 - 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 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.

eMailidurand@labri.fr
Web sitehttp://dept-info.labri.u-bordeaux.fr/~idurand/autowrite/
Mailing list
Version3.5 -
MaturityExperimental
OS compatibilityBinary available for MacOSX and Linux.
Sources compilable with SBCL.
The graphical interface requires the CLIM system.
ASDF installableYes
Official Downloadhttp://dept-info.labri.u-bordeaux.fr/~idurand/autowrite/Autowrite.tgz
Mirrored Download
Source code repository

Compatible Implementations

SBCL

Required Libraries  View graph

McCLIM

Authors and Maintainers

Irčne Durand

Tags

Applications

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