Acessing Objects Locally in Object-Oriented Languages

We propose method invocation constructs that allow objects to be accessed locally in object-oriented languages. The major construct is the expression of the form O.E where O is an object and E is an expression. This construct has the following operational semantics: add the object O to the program context in the course of evaluating E. Thus, the object O is available only in the course of evaluating E. Consequently, the program context consists of only the currently active objects and thus is managed in a memory-efficient way. Finally we compare this notion with cache systems.