Open AccessConformance Checking with Constraint Logic Programming: The Case of Feature Models
Author(s) -
Raul Mazo,
Roberto E. Lopez-Herrejon,
Camille Salinesi,
Daniel Diaz,
Alexander Egyed
Publication year - 2011
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , programming language , constraint (computer aided design) , feature (linguistics) , constraint logic programming , logic programming , concurrent constraint logic programming , constraint programming , model checking , theoretical computer science , constraint satisfaction , artificial intelligence , inductive programming , programming paradigm , functional logic programming , mathematics , mathematical optimization , philosophy , linguistics , geometry , probabilistic logic , stochastic programming