Autowrite: A Tool for Checking Properties of Term Rewriting Systems

Irène A. Durand (1, 2)

1 SIGNES - Linguistic signs, grammar and meaning: computational logic for natural language
2 LaBRI - Laboratoire Bordelais de Recherche en Informatique

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 used in [J96,DM97,DM98,NT99] and many useful operations on terms, TRSs and tree automata (unfortunaletly not all yet integrated into the graphical interface).

Mots clés: Term rewriting; tree automata

Domaines: Informatique et langage [cs.CL]

Irène A. Durand. Autowrite: A Tool for Checking Properties of Term Rewriting Systems. 13th International Conference on Rewriting Techniques and Applications, 2002, Denmark. pp.371--375. ⟨hal-00344294⟩