Sciweavers

Share
ECOOP
2005
Springer

Attached Types and Their Application to Three Open Problems of Object-Oriented Programming

9 years 1 months ago
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming
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 — are: • Eradicating the risk of void calls: x.f with, at run time, the target x not denoting any object, leading to an exception and usually a crash. • Eradicating the risk of “catcalls”: erroneous run-time situations, almost inevitably leading to crashes, resulting from the use of covariant argument typing. • Providing a simple way, in concurrent object-oriented programming, to lock an object handled by a remote processor or thread of control, or to access it without locking it, as needed by the context and in a safe way. A language mechanism provides a combined solution to all three issues. This mechanism also allows new solutions to two known problems: how to check that a certain object has a certain type, and then use it accordingly (“Run-Time Type Identification” or “downcasting”), f...
Bertrand Meyer
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ECOOP
Authors Bertrand Meyer
Comments (0)
books