Anti-Pattern Matching

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 : It is quite appealing to base the description of pattern-based searches on positive as well as negative conditions. We would like for example to specify that we search for white cars that are not station wagons. To this end, we define the notion of anti-patterns and their semantics along with some of their properties. We then extend the classical notion of matching between patterns and ground terms to matching between anti-patterns and ground terms. We provide a rule-based algorithm that finds the solutions to such problems and prove its correctness and completeness. Anti-pattern matching is by nature different from disunification and quite interestingly the anti-pattern matching problem is unitary. Therefore the concept is appropriate to ground a powerful extension to pattern-based programming languages and we show how this is used to extend the expressiveness and usability of the Tom language.
Type de document :
Communication dans un congrès
Rocco De Nicola. 16th European Symposium on Programming - ESOP'07, Mar 2007, Braga, Portugal. Springer-Verlag, 4421, pp.110-124, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-71316-6_9〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00129419
Contributeur : Radu Kopetz <>
Soumis le : mercredi 7 février 2007 - 12:13:24
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58
Document(s) archivé(s) le : mardi 6 avril 2010 - 23:20:27

Fichier

antiPatternsEsop2007.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. Anti-Pattern Matching. Rocco De Nicola. 16th European Symposium on Programming - ESOP'07, Mar 2007, Braga, Portugal. Springer-Verlag, 4421, pp.110-124, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-71316-6_9〉. 〈inria-00129419〉

Partager

Métriques

Consultations de la notice

230

Téléchargements de fichiers

142