Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Tue 19 Jul 2016 18:00 - 18:30 at Belli - Session 4 Chair(s): Vladimir Klebanov

Miller’s notions of permissions and authority are foundational to the analysis of object-capability programming. Informal definitions of these concepts were given in Miller’s thesis. In this paper we propose precise definitions for permissions and authority, based on a small object-oriented calculus. We quantify their bounds (current, eventual, behavioural, topological), and delineate the relationships between these definitions.

Tue 19 Jul

16:00 - 18:30: FTfJP - Session 4 at Belli
Chair(s): Vladimir KlebanovKarlsruhe Institute of Technology
FTfJP-201616:00 - 16:30
Bart JacobsiMinds - Distrinet, KU Leuven
FTfJP-201616:30 - 17:00
Bart JacobsiMinds - Distrinet, KU Leuven
FTfJP-201617:00 - 17:30
Paola Giannini, Marco ServettoVictoria University of Wellington, Elena ZuccaUniversity of Genova
FTfJP-201617:30 - 18:00
Tomoyuki AotaniTokyo Institute of Technology, Japan, Gary LeavensCentral Florida University
FTfJP-201618:00 - 18:30
Sophia DrossopoulouImperial College London, James NobleVictoria University of Wellington, Mark MillerGoogle Inc., Toby MurrayUniversity of Melbourne