Up: Autowrite: User's Guide (Still
Previous: Autowrite: User's Guide (Still
Autowrite is a tool for handling term rewrite
systems and tree automata.
It was originally designed to check membership to Call-by-need
For this purpose, it implements the tree automata constructions used in
[7,3,4,8] and many useful
operations on terms, rewrite systems and tree automata.
Now all these automata constructions are accessible from the graphical
interface which makes Autowrite also a tool for handling tree automata.
The graphical interface (still under construction)
is written using FreeCLIM, the free implementation
of the CLIM specification.
New functionnalities could be easily integrated upon demand.
The Autowrite tool was used to check membership to
CBN for most
of the examples presented in  and .
The latest version was presented in .