Tue 27 Oct 2015 14:30 - 15:00 at Ellwood 2 - Typing OO Languages Chair(s): Alex Potanin

Controlling access to functions is common in programming languages, for security and for software engineering purposes. Often access control is based on a static type discipline, but this does not work in dynamically typed languages, and can be problematic in the presence of dynamic loading and reflection.

We argue that dynamically enforcing object-based encapsulation as part of the method lookup semantics is a more attractive approach. There is a natural affinity between object-based encapsulation and capability-based security. The Newspeak programming language capitalizes on this affinity. We have recently started enforcing access control in the Newspeak system. Here we report on our experience, from the perspectives of both implementation and usability.

Tue 27 Oct

nool2015
13:30 - 15:00: NOOL - Typing OO Languages at Ellwood 2
Chair(s): Alex PotaninVictoria University of Wellington
nool201513:30 - 14:00
Talk
Darya MelicherCarnegie Mellon University
Link to publication
nool201514:00 - 14:30
Talk
Timothy JonesVictoria University of Wellington, Michael HomerVictoria University of Wellington
Link to publication
nool201514:30 - 15:00
Talk
Link to publication