Specification and Inheritance in CSP-OZ.
Ernst-Rüdiger OlderogHeike WehrheimPublished in: FMCO (2002)
Keyphrases
- constraint satisfaction problems
- object oriented
- constraint satisfaction
- constraint propagation
- constraint programming
- arc consistency
- knowledge representation
- object oriented databases
- data sets
- multiple inheritance
- tree decompositions
- tree decomposition
- high level
- formal methods
- specification language
- decomposition methods
- programming language
- database systems