Change search
ReferencesLink to record
Permanent link

Direct link
Ownership-Based Alias Managemant
KTH, School of Information and Communication Technology (ICT), Computer and Systems Sciences, DSV.
2006 (English)Doctoral thesis, monograph (Other scientific)
Abstract [en]

Object-oriented programming relies on sharing and the mutable states of objects for common data structures, patterns and programming idioms. Sharing and mutable state is a powerful but dangerous combination. Uncontrolled aliasing risks causing representation exposure, where an object's state is exposed and modifiable out of the control of its conceptually owning object. This breaks encapsulation, and hence, in extension, abstraction.

Contemporary object-oriented programming languages' support for alias encapsulation is mediocre and easily circumvented. To this end, several proposals have been put forward that strengthen encapsulation to enable construction of more reliable systems and formally reasoning about properties of programs. These systems are vastly superior to the constructs found in for example C++, Java or C#, but have yet to gain acceptance outside the research community.

In this thesis, we present three constructs for alias management on top of a deep ownership types system in the context of the Joline programming language. Our constructs are fully statically checkable and impose little run-time overhead. We show the formal semantics and soundness proof for our constructs as well as their formal and informal aliasing properties. We show applications and extensions and perform a practical evaluation of our system with our implemented Joline compiler. The evaluation suggests that our constructs are compatible with real-world programming, makes use of some of our own proposed patterns, and encourages further practical studies of programming with ownership-based constructs for alias management.

Place, publisher, year, edition, pages
Stockholm: KTH , 2006. , xii, 244 p.
Report series / DSV, ISSN 1101-8526 ; 06:009
National Category
Information Science
URN: urn:nbn:se:kth:diva-3956ISBN: 91-7178-325-3OAI: diva2:10178
Public defence
2006-05-29, Sal C, DSV, KTH-Forum, Isafjordsgatan 39, Kista, 10:00
QC 20100928Available from: 2006-05-11 Created: 2006-05-11 Last updated: 2010-09-28Bibliographically approved

Open Access in DiVA

fulltext(1656 kB)687 downloads
File information
File name FULLTEXT01.pdfFile size 1656 kBChecksum SHA-1
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Wrigstad, Tobias
By organisation
Computer and Systems Sciences, DSV
Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 687 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 1020 hits
ReferencesLink to record
Permanent link

Direct link