Anti-Pattern Matching Modulo

Claude Kirchner 1, 2 Radu Kopetz 1 Pierre-Etienne Moreau 1, *
* Auteur correspondant
1 PAREO - Formal islands: foundations and applications
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a recent work, the notion of term was extended to the one of anti-term, i.e. terms that may contain complement symbols. Here we generalize the syntactic anti-pattern matching to anti-pattern matching modulo an arbitrary equational theory E, and we study the specific and practically very useful case of associativity, possibly with a unity (AU). To this end, based on the syntacticness of associativity, we present a rule-based associative matching algorithm, and we extend it to AU. This algorithm is then used to solve AU anti-pattern matching problems. This allows us to be generic enough so that for instance, the AllDiff standard predicate of constraint programming becomes simply expressible in this framework. AU anti-patterns are implemented in the Tom language and we show some examples of their usage.
Type de document :
Communication dans un congrès
Carlos Mart\'n-Vide and Friedrich Otto and Henning Fernau. Second International Conference on Language and Automata Theory and Applications - LATA 2008, Mar 2008, Tarragone, Italy. Springer-Verlag, 5196, pp.275-286, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-88282-4_26〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00337722
Contributeur : Pierre-Etienne Moreau <>
Soumis le : vendredi 7 novembre 2008 - 17:18:02
Dernière modification le : jeudi 11 janvier 2018 - 06:22:10
Document(s) archivé(s) le : mardi 9 octobre 2012 - 15:10:31

Fichier

KirchnerKM-LATA2008.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. Anti-Pattern Matching Modulo. Carlos Mart\'n-Vide and Friedrich Otto and Henning Fernau. Second International Conference on Language and Automata Theory and Applications - LATA 2008, Mar 2008, Tarragone, Italy. Springer-Verlag, 5196, pp.275-286, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-88282-4_26〉. 〈inria-00337722〉

Partager

Métriques

Consultations de la notice

181

Téléchargements de fichiers

93