Towards a type theory for active objects.

Oscar Nierstrasz Michael Papathomas

Published in: OOPS Messenger (1991)

Keyphrases

theoretical framework
theoretical basis
d objects
artificial intelligence
moving objects
computational model
data objects
object model
multiple types
general theory
decision making
image processing
object segmentation
formal theory