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

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:00
Typing OO LanguagesNOOL at Ellwood 2
Chair(s): Alex Potanin Victoria University of Wellington
13:30
30m
Talk
Ubiquitous Object Orientation to Foster the Advancement of Programming Languages
NOOL
Darya Melicher Carnegie Mellon University
Link to publication
14:00
30m
Talk
Gradual typing is morally incorrect; we're all monsters now
NOOL
Timothy Jones Victoria University of Wellington, Michael Homer Victoria University of Wellington
Link to publication
14:30
30m
Talk
Enforcing Object-based Access in Newspeak
NOOL
Link to publication