Constraint programming for type inference in flexible model-driven engineering.
Athanasios ZolotasRobert ClarisóNicholas MatragkasDimitrios S. KolovosRichard F. PaigePublished in: Comput. Lang. Syst. Struct. (2017)
Keyphrases
- constraint programming
- model driven engineering
- combinatorial problems
- constraint satisfaction problems
- constraint propagation
- constraint satisfaction
- search strategies
- global constraints
- hard and soft constraints
- symmetry breaking
- arc consistency
- database
- model driven
- search heuristics
- finite domain
- constraint solving
- artificial intelligence
- data driven
- search algorithm