Pages in Category Portfolio
Settings
Content: Class Language
Structural Operational Semantics for an Idealised Object-Capability Programming Language
Date: January 4. 2009.
Master's Thesis in Computer Science
- written at the Tokyo Institute of Technology
- advised by Prof. Naoki Yonezaki
- submitted in January 2009
Abstract
Object-capability systems are restricted object-oriented systems. They allow objects to obtain a reference to another object only by creating it, being introduced by a third object, or as part of the initialisation when the system starts. Furthermore, objects can be modified solely through messages sent along references. How references spread is therefore crucial for examining access limitations and security.
Studying this reference flow requires an object-capability programming language to model the system; proving properties further demands formal semantics for the language. To the authors' best knowledge, no such language has been published to date. We therefore introduce Class, an object-capability language with structural operational semantics, and provide proof for the object-capability property as well as an interpreter for own experiments. Class is reduced to the essential operations required to study object interaction. We thus provide a foundation for further formal studies of reference flow in object-capability systems.
Derived Publications
P. Dinges and N. Yonezaki (米崎 直樹). Structural Operational Semantics for an Idealised Object-Capability Programming Language. In Proc. of the 25th Convention of the Japan Society for Software Science and Technology (日本ソフトウェア科学会 第25回大会 講演論文集), Tokyo, Japan, 2008