|
|||||
|
|
Anti-patterns for rule-based languages |
|
| Authors: | Horatiu Cirstea Claude Kirchner Radu Kopetz Pierre-Etienne Moreau |
| Affiliation: | 1. Nancy Université & LORIA, France;2. INRIA Bordeaux - Sud-Ouest, France;3. INRIA Nancy - Grand Est & LORIA, France |
| 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. This should be naturally reflected in software that provide pattern-based searches. We would like for example to specify that we search for white cars that are not station wagons, or that we search for a list of objects that does not contain two identical elements. |
| Keywords: | Pattern matching List matching Complement problem Equational problem Anti-pattern Disunification Associativity Equational theory Rule-based language Pattern-based language |
| 本文献已被 ScienceDirect 等数据库收录！ | |