Autowrite: A Tool for Checking Properties of Term Rewriting Systems
Langue
en
Communication dans un congrès
Ce document a été publié dans
Proceedings of the 13th International Conference on Rewriting Systems, Proceedings of the 13th International Conference on Rewriting Systems, 13th International Conference on Rewriting Techniques and Applications, 2002. 2002, vol. 2378, p. 371--375
Springer-Verlag
Résumé en anglais
Autowrite is an experimental tool written in Common Lisp for checking properties of TRSs. It was initially designed to check sequentiality properties of TRSs. For this purpose, it implements the tree automata constructions ...Lire la suite >
Mots clés en anglais
Term rewriting
tree automata