Projets de Programmation 2008 - 2009

• Titre de la proposition du projet :

  Visualisation d'arbres et d'automates d'arbres Définition de grahes par des termes.

• Nom(s) du (des) responsables du projet

  Bruno Courcelle et Irène Durand

• Adresse, Tél, courrier-E:

  Bruno Courcelle Bureau 117, LaBRI, Bât. A30, Université Bordeaux 1
  351, cours de la Libération, 33405 Talence Cédex
  Téléphone: 05 40 00 60 86
  Courriel: idurand@labri.fr

  Irène Durand Bureau 204, LaBRI, Bât. A30, Université Bordeaux 1
  351, cours de la Libération, 33405 Talence Cédex
  Téléphone: 05 40 00 69 14
  Courriel: idurand@labri.fr

• Cadre de travail:

  Le logiciel Autowrite écrit en Common Lisp manipule des systèmes de réécriture de termes et des automates d'arbres. Il possède une interface graphique mais pas de possibilité de visualiser les automates et les suites de réécritures de termes.
  On souhaite améliorer l'ergonomie du logiciel; en particulier on souhaite rajouter des modules de visualisation des automates et des termes.

• Description du travail :

  • Appréhender le logiciel existant (9600 lignes de Common Lisp)
  • Écrire un module de visualisation des automates
  • Écrire un module de visualisation des termes et des suites de réécritures de termes

• Moyens matériels et logiciels :

  • Common Lisp (SBCL par exemple)
  • Mcclim (pour la partie graphique)
  • X-Windows

• Bibliographie et urls :

  Voir sur la page d'Autowrite