[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

F. Puntigam:
"See the Pet in the Beast: How to Limit Effects of Aliasing";
Vortrag: International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO 2007), Berlin, Germany; 30.07.2007; in: "International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO)", (2007), 8 S.



Kurzfassung englisch:
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.

Schlagworte:
Types, Tokens, Object-Oriented Programming, Aliasing, Language Constructs and Features


Elektronische Version der Publikation:
http://www.cs.purdue.edu/homes/wrigstad/iwaco/p10-puntigam.pdf


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.