Combining CSP and Object-Z: Finite or Infinite Trace Semantics?

Clemens Fischer Graeme Smith

Published in: FORTE (1997)

Keyphrases

constraint satisfaction problems
finite sets
d objects
constraint propagation
complex objects
real numbers
multiple objects
constraint programming
spatial relations
formal semantics
spatial relationships
object identity
target object
object model
video sequences
object tracking
state space