Towards a Semantics for Object-Z.

David J. Duke Roger Duke

Published in: VDM Europe (1990)

Keyphrases

d objects
logic programming
spatial relationships
multiple objects
formal semantics
complex objects
data objects
wordnet
object model
default logic
object identity