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
Alias control with read-only references
KTH, Superseded Departments, Computer and Systems Sciences, DSV.
2002 (English)In: PROCEEDINGS OF THE 6TH JOINT CONFERENCE ON INFORMATION SCIENCES, DURHAM: ASSOC INTELLIGENT MACHINERY , 2002, 387-391 p.Conference paper, Published paper (Refereed)
Abstract [en]

In object-oriented programs, the possibility of having an alias to an object's mutable state is a known source of bugs making programs difficult to test and maintain. We propose an access mode system for limiting the effects of aliasing by associating, with each reference, an access right to the object to which the reference refer. Mutator methods may not be invoked on read references, and only read references to the state can be obtained via any method invoked on a read reference. This enables exporting read references to objects without risking the objects being modified. The system realises access modes by annotations on variables, methods, method returns and parameters to methods. It is completely statically checkable without any need for run-time representation of modes and does not impose any run-time overhead.

Place, publisher, year, edition, pages
DURHAM: ASSOC INTELLIGENT MACHINERY , 2002. 387-391 p.
Keyword [en]
Computer Science, Artificial Intelligence
National Category
Computer Engineering
Identifiers
URN: urn:nbn:se:kth:diva-29040ISI: 000179331800089OAI: oai:DiVA.org:kth-29040DiVA: diva2:391894
Conference
6th Joint Conference on Information Sciences RES TRIANGLE PK, NC, MAR 08-13, 2002
Note
QC 20110125Available from: 2011-01-25 Created: 2011-01-25 Last updated: 2011-08-31Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Skoglund, Mats
By organisation
Computer and Systems Sciences, DSV
Computer Engineering

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 28 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