P-OCLcbm: a language to specify topological constraints on composite regions: definition and comparison with trcr.
Magali DuboissetFrançois PinetMichel SchneiderPublished in: RCIS (2007)
Keyphrases
- constraint language
- programming language
- specification language
- constraint satisfaction
- topological properties
- definition language
- geometric constraints
- constrained optimization
- global constraints
- homogeneous regions
- operational semantics
- constraint logic programming
- constraint programming
- image structure
- linear constraints
- model theoretic
- high level