A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties.

Pawel T. Wojciechowski

Published in: SC@ETAPS (2006)

Keyphrases

algebraic structure
object classes
complex objects
d objects
dynamic environments
multiple objects
formal language
mobile robot
object instances
training set
moving objects
expressive power
data objects
desirable properties