Proposition de projet de deuxième année

Année 2013-2014


Projet 09 - Interface graphique pour la bibliothèque Autograph

Mots-clés: Termes, Automates de termes, Graphes

Résumé

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

Liens:

Articles:

Travail demandé

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.

Matériels et logiciels nécessaires

Coordonnées du responsable

Nom du responsable: Irène Durand
Etablissement ou entreprise: LaBRI
Adresse: Bât A30, Université Bordeaux1
351 cours de la libération, 33405 Talence cedex
Téléphone: 05 40 00 69 14
Courriel: idurand@labri.fr