Publications of Franz Puntigam (Punt07b)

Franz Puntigam.
See the Pet in the Beast: How to Limit Effects of Aliasing.
In International Workshop on Aliasing, Confinment and Ownership in object-oriented programming (IWACO 2007), 30.07.2007, Berlin, Germany.

Abstract:

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. Instead, we propose to restrict what clients can do when accessing objects. 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.

Paper

Slides

@InProceedings{Punt07b,
  author    = {Franz Puntigam},
  title     = {See the Pet in the Beast: How to Limit Effects of Aliasing},
  booktitle = {International Workshop on Aliasing, Confinment and Ownership in object-oriented programming (IWACO 2007)},
  year      = 2007,
  address   = {Berlin, Germany},
  month     = jul,
  url       = "http://www.complang.tuwien.ac.at/franz/papers/Punt07b.pdf"
}