Anti-Pattern Matching Modulo

Claude Kirchner 1 Radu Kopetz 1 Pierre-Etienne Moreau 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
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 previous work, we have extended the notion of term to the one of anti-term that may contain complement symbols. Matching such anti-terms against terms has the nice property of being unitary. 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
Évelyne Contejean. 21th International Workshop on Unification - UNIF'07, 2007, Paris, France. 2007
Liste complète des métadonnées
Contributeur : Evelyne Contejean <>
Soumis le : mardi 2 octobre 2007 - 11:26:39
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 13:15:31


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00176055, version 1



Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. Anti-Pattern Matching Modulo. Évelyne Contejean. 21th International Workshop on Unification - UNIF'07, 2007, Paris, France. 2007. 〈inria-00176055〉



Consultations de la notice


Téléchargements de fichiers