A set of rules to ascertain that in calls of the form x.f (...) there will always be an object attached to x. 1 PURPOSE The theory developed in this article investigates void call...
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...