首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Anti-patterns for rule-based languages
Authors:Horatiu Cirstea  Claude Kirchner  Radu Kopetz  Pierre-Etienne Moreau
Institution: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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号