Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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.
Series
Report series / DSV, ISSN 1101-8526 ; 06:009
National Category
Information Science
Identifiers
URN: urn:nbn:se:kth:diva-3956ISBN: 91-7178-325-3 (print)OAI: oai:DiVA.org:kth-3956DiVA: diva2:10178
Public defence
2006-05-29, Sal C, DSV, KTH-Forum, Isafjordsgatan 39, Kista, 10:00
Opponent
Supervisors
Note
QC 20100928Available from: 2006-05-11 Created: 2006-05-11 Last updated: 2010-09-28Bibliographically approved

Open Access in DiVA

fulltext(1656 kB)719 downloads
File information
File name FULLTEXT01.pdfFile size 1656 kBChecksum MD5
fd4192005d1dca942cfedebfd9887b13b062bcbb952eb5506559318fb5906675f9a7a89c
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: 719 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

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 1083 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf