Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Ownership-Based Alias Managemant
KTH, Skolan för informations- och kommunikationsteknik (ICT), Data- och systemvetenskap, DSV.
2006 (Engelska)Doktorsavhandling, monografi (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
Stockholm: KTH , 2006. , xii, 244 s.
Serie
Report series / DSV, ISSN 1101-8526 ; 06:009
Nationell ämneskategori
Systemvetenskap
Identifikatorer
URN: urn:nbn:se:kth:diva-3956ISBN: 91-7178-325-3 (tryckt)OAI: oai:DiVA.org:kth-3956DiVA: diva2:10178
Disputation
2006-05-29, Sal C, DSV, KTH-Forum, Isafjordsgatan 39, Kista, 10:00
Opponent
Handledare
Anmärkning
QC 20100928Tillgänglig från: 2006-05-11 Skapad: 2006-05-11 Senast uppdaterad: 2010-09-28Bibliografiskt granskad

Open Access i DiVA

fulltext(1656 kB)717 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 1656 kBChecksumma MD5
fd4192005d1dca942cfedebfd9887b13b062bcbb952eb5506559318fb5906675f9a7a89c
Typ fulltextMimetyp application/pdf

Sök vidare i DiVA

Av författaren/redaktören
Wrigstad, Tobias
Av organisationen
Data- och systemvetenskap, DSV
Systemvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 717 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 1082 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf