Hidden coinduction: behavioural correctness proofs for objects.

Joseph A. Goguen Grant Malcolm

Published in: Math. Struct. Comput. Sci. (1999)

Keyphrases

theorem proving
moving objects
databases
attribute values
object level
topological properties
real time
multiscale
viewpoint
feature vectors
object segmentation
multi object