Précédent : Edition syntaxique guidée par menus Remonter : Composants élémentaires d'environnements interactifs Suivant : Accélérateurs clavier

Spécifications de transformations de programmes

Participants : Isabelle Attali, Christophe Roudet

Mots-clés : transformation de programme, sémantique

Nous souhaitons concevoir un formalisme de description sémantique spécialisé dans les transformations de programmes, qui travaille directement au niveau structures et qui soit adapté aussi bien pour une exécution purement automatique que pour une exécution interactive comme dans l'édition dirigée par menus, avec des performances acceptables. Enfin ce langage doit être assez déclaratif pour se prêter à la preuve de correction de transformations.

Nous avons conçu un langage appelé TrfL (prononcer « trèfle ») qui s'inspire à la fois des langages issus de Centaur et des langages existants dans la littérature sur les transformations de programmes. Pour l'instant, le langage TrfL est défini syntaxiquement ; la définition sémantique est en cours : la sémantique statique (notamment la vérification des schémas) est quasiment terminée et il reste à décrire la sémantique dynamique du langage. Ces travaux sont décrits dans [15]. Enfin, nous souhaitons intégrer ces nouveaux développements au sein du système Centaur (notamment avec les fonctionnalités de TransForm).