Alias control with read-only references
2002 (English)In: PROCEEDINGS OF THE 6TH JOINT CONFERENCE ON INFORMATION SCIENCES, DURHAM: ASSOC INTELLIGENT MACHINERY , 2002, 387-391 p.Conference paper (Refereed)
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.
Computer Science, Artificial Intelligence
IdentifiersURN: urn:nbn:se:kth:diva-29040ISI: 000179331800089OAI: oai:DiVA.org:kth-29040DiVA: diva2:391894
6th Joint Conference on Information Sciences RES TRIANGLE PK, NC, MAR 08-13, 2002
QC 201101252011-01-252011-01-252011-08-31Bibliographically approved