Autowrite est une bibliothèque logicielle permettant de manipuler des termes, des systèmes de réécriture de termes et des automates de termes. Basée sur Autowrite, Autograph est une bibliothèque d'automates permettant de vérifier des propriétés sur les graphes de largeur de clique bornée. Ces graphes peuvent en effet être représentés par des termes qui peuvent alors être traités par des automates. Ces deux bibliothèques sont écrites en Common Lisp. Autowrite dispose d'une interface graphique réalisé grâce à la bibliothèque McCLIM. Actuellement, il n'existe pas d'interface graphique pour Autograph. Ces logiciels sont des appuis à des travaux de recherche théorique. Le but du projet serait de rendre Autograph plus facilement utilisable par la communauté des chercheurs soit à travers une interface Web soit grâce à une interface graphique classique. Étudier en priorité la faisabilité d'une solution Web. L'utilisation de Lisp n'est pas forcément obligatoire si le langage utilisé permet d'interfacer Lisp.
Articles: