ECOOP 2016 (series) / IWACO 2016 (series) / IWACO /
Abstract Data Types in Object-Capability Systems
The distinctions between the two forms of procedural data abstraction — abstract data types and objects — are well known. An abstract data type provides an opaque type declaration, and an implementation that manipulates the modules of the abstract type, while an object uses procedural abstraction to hide an individual implementation. The object-capability model has been proposed to enable object-oriented programs to be written securely, and has been adopted by a number of practical languages including JavaScript, E, and Newspeak. This short paper addresses the question: how can we implement abstract data types in an object-capability language?
| Slides (noble-slides.pdf) | 5.96MiB |
Mon 18 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 18 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:30 | |||
16:00 30mTalk | Are Ownership Types Reaching the World Yet? IWACO Patrick Lam University of Waterloo, Canada File Attached | ||
16:30 30m | Kappa: Insights, Current Status and Future Work IWACO Pre-print | ||
17:00 30m | Abstract Data Types in Object-Capability Systems IWACO James Noble Victoria University of Wellington, Sophia Drossopoulou Imperial College London, Mark Miller Google Inc., Toby Murray University of Melbourne, Alex Potanin Victoria University of Wellington Pre-print File Attached | ||