Contraintes d'anti-filtrage et programmation par réécriture, Anti-matching constraints and programming with rewrite rules

Divers
Université

Sous la direction de Claude Kirchner, Pierre-Etienne Moreau Thèse soutenue le 15 octobre 2008: INPL L'objectif principal de cette thèse est l'étude et la formalisation de nouvelles constructions permettant d'augmenter l'expressivité du filtrage et des langages à base de règles en général. Ceci est motivé par le développement de Tom, un système qui enrichit les langages impératifs comme Java et C avec des constructions de haut niveau comme le filtrage et les stratégies. Une première extension que l'on propose est la notion d'anti-patterns, i.e. des motifs qui peuvent contenir des symboles de complément. Nous définissons de manière formelle la sémantique des anti-patterns dans le cas syntaxique et modulo une théorie équationnelle arbitraire. Puis nous étendons la notion classique de filtrage entre les motifs et les termes clos au filtrage entre les anti-patterns et les termes clos (anti-filtrage). Ensuite, nous proposons plusieurs extensions aux constructions de filtrage fournies par Tom. La condition pour l'application d'une règle devient une conjonction ou disjonction de contraintes de filtrage et d'anti-filtrage ainsi que d'autres types de conditions. Les techniques classiques de compilation du filtrage ne sont pas bien adaptées à ces conditions complexes. On propose donc une nouvelle méthode de compilation basée sur des systèmes de réécriture contrôlés par des stratégies. Nous avons complètement réécrit le compilateur de Tom en utilisant cette technique. Tous ces éléments rassemblés constituent un environnement pour décrire et implémenter des transformations de manière élégante et concise. Pour promouvoir son utilisation dans des projets à grand échelle, on développe une technique pour extraire automatiquement des informations structurelles à partir d'une hiérarchie de classes Java. Cela permet l'intégration du filtrage offert par Tom dans n'importe quelle application Java -Negation -Anti-filtrage -Complement -Filtrage modulo -Théorie équationnelle -Contraintes -C

Il n'y a aucune évaluation pour l'instant.


Soyez le premier à l'évaluer

Donnez votre évaluation
Contraintes d'anti-filtrage et programmation par réécriture, Anti-matching constraints and programming with rewrite rules
* Champs obligatoires
Votre commentaire
Vos notes
Clarté du contenu
Utilité du contenu
Qualité du contenu