Directory | Tags | Index | LinkIt | Submit   | Help
    Saturday, 26 July 2014 - anonymous
Login/Register to vote and to have access to more features

You are here: Root > By Topic > Text Processing > Parsers

View the dependency graph for this library

Autowrite
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.

eMailidurand@labri.fr
Web sitehttp://dept-info.labri.u-bordeaux.fr/~idurand/autowrite/
Mailing list
Version3.4 - Sunday, 01 January 2006
MaturityStable
OS compatibilityLinux, MacOS X
ASDF installableNo
Official Downloadhttp://dept-info.labri.u-bordeaux.fr/~idurand/autowrite/Autowrite.tgz
Mirrored Download
Source code repository

Compatible Implementations

CMUCL | SBCL | OpenMCL

Required Libraries  View graph

McCLIM

Authors and Maintainers

Irčne Durand

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