Talks and Poster Presentations (with Proceedings-Entry):
"See the Pet in the Beast: How to Limit Effects of Aliasing";
Talk: International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO 2007),
2007-07-30; in: "International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO)",
Aliasing is quite powerful, but difficult to control. Often clients
need exclusive access to objects for some concerns, and sometimes
we see no other way than to ensure this by controlling aliasing. In-
stead, we propose to restrict what clients can do when accessing ob-
jects. To invoke methods in an object clients need tokens issued by
this object. Static type checking enforces the tokens to be available
and ensures exclusive access for specific concerns without avoiding
aliasing. We show by examples how this concept works and discuss
several possibilities to improve its flexibility.
Types, Tokens, Object-Oriented Programming, Aliasing, Language Constructs and Features
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.