Towards an Algebraic Semantics for the Object Paradigm.

Joseph A. Goguen Razvan Diaconescu

Published in: COMPASS/ADT (1992)

Keyphrases

d objects
complex objects
multiple objects
semantic information
object detection
formal semantics
deformable objects
object tracking
integrity constraints
lighting conditions
data objects
moving objects
object model
conceptual graphs
object models
operational semantics
object identity