Participante : Valérie Pascual
Mots clefs : transformation de programme
Le langage utilisé pour spécifier des menus est un langage de règles de réécriture simple. Ce langage a été étendu par des clauses ``where'' et ``do'' qui permettent d'augmenter les contraintes préalables à l'application d'une règle et d'effectuer des transformations supplémentaires non expressibles par de simples règles de réécriture. Enfin, les règles de réécriture d'une spécification TransForm peuvent également être déclenchées en mode non-interactif, dans le cadre d'outils automatiques de transformation (mode d'utilisation ``batch'').
L'environnement de travail pour le langage TransForm a également été étendu pour permettre la construction d'une règle de réécriture par manipulation directe des données qu'elle doit transformer. A terme, ce travail doit permettre de réfléchir sur les moyens de construire des outils de manipulation de programmes par l'exemple.