Login/Register to vote and to have access to more featuresYou are here: Root > By Topic > Text Processing > Parsers
View the dependency graph for this libraryAutowrite
Created by amoroso on: Tue, 07 Feb 2006 12:42:41 GMT, Last modification: Tue, 07 Feb 2006 12:42:41 GMT
A tool for checking properties of term rewrite systems, particularly call-by-need properties. It also comes with a CLIM-based GUI.
| idurand@labri.fr | |
| Web site | http://dept-info.labri.u-bordeaux.fr/~idurand/autowrite/ |
| Mailing list | |
| Version | 3.4 - Sunday, 01 January 2006 |
| Maturity | Stable |
| OS compatibility | Linux, MacOS X |
| ASDF installable | No |
| 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
Parsers | CLIM | Applications | Linux | Mac OS X | GPL
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