next up previous
Next: Syntax and Semantic Up: Evolution of Object Behavior Previous: Visitor Pattern

An Operational Semantics of Contexts


We now present an operational semantics of the most radical of our new constructs: the attachment of contexts to calls. The semantics is intended as a guide to implementors, and its key value is in highlighting a subtlety which easily could be overlooked in an implementation.

Karl Lieberherr
Tue Jan 21 09:24:10 EST 1997