Autowrite: A Tool for Checking Properties of Term Rewriting Systems
| hal.structure.identifier | Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES] | |
| hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
| dc.contributor.author | DURAND, Irène | |
| dc.contributor.editor | Springer-Verlag | |
| dc.date.accessioned | 2024-04-15T09:53:19Z | |
| dc.date.available | 2024-04-15T09:53:19Z | |
| dc.date.created | 2002 | |
| dc.date.issued | 2002 | |
| dc.date.conference | 2002 | |
| dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198597 | |
| dc.description.abstractEn | 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). | |
| dc.language.iso | en | |
| dc.publisher | Springer-Verlag | |
| dc.source.title | Proceedings of the 13th International Conference on Rewriting Systems | |
| dc.subject.en | Term rewriting | |
| dc.subject.en | tree automata | |
| dc.title.en | Autowrite: A Tool for Checking Properties of Term Rewriting Systems | |
| dc.type | Communication dans un congrès | |
| dc.subject.hal | Informatique [cs]/Informatique et langage [cs.CL] | |
| bordeaux.page | 371--375 | |
| bordeaux.volume | 2378 | |
| bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
| bordeaux.institution | Université de Bordeaux | |
| bordeaux.institution | Bordeaux INP | |
| bordeaux.institution | CNRS | |
| bordeaux.conference.title | 13th International Conference on Rewriting Techniques and Applications | |
| bordeaux.country | DK | |
| bordeaux.title.proceeding | Proceedings of the 13th International Conference on Rewriting Systems | |
| bordeaux.peerReviewed | oui | |
| hal.identifier | hal-00344294 | |
| hal.version | 1 | |
| hal.invited | non | |
| hal.proceedings | oui | |
| hal.popular | non | |
| hal.audience | Internationale | |
| hal.origin.link | https://hal.archives-ouvertes.fr//hal-00344294v1 | |
| bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.btitle=Proceedings%20of%20the%2013th%20International%20Conference%20on%20Rewriting%20Systems&rft.date=2002&rft.volume=2378&rft.spage=371--375&rft.epage=371--375&rft.au=DURAND,%20Ir%C3%A8ne&rft.genre=unknown |
Fichier(s) constituant ce document
| Fichiers | Taille | Format | Vue |
|---|---|---|---|
|
Il n'y a pas de fichiers associés à ce document. |
|||