Change search
ReferencesLink to record
Permanent link

Direct link
Ownership, Uniqueness, Immutability
Stockholm University, Faculty of Social Sciences, Department of Computer and Systems Sciences.
2008 (English)In: 46th International Conference on Objects, Models, Components, Patterns (TOOLS-Europe), 2008Conference paper (Refereed)
Abstract [en]

Programming in an object-oriented language demands a fine balance between flexibility and control. At one level, objects need to interact freely to achieve our implementation goals. At a higher level, architectural constraints that ensure the system can be understood by new developers and can evolve as requirements change must be met. To resolve this tension, researchers have developed type systems expressing ownership and behavioural restrictions such as immutability. This work reports on our consolidation of the resulting discoveries into a single programming language. Our language, Joe_3, imposes little additional syntactic overhead, yet can encode powerful patterns such as fractional permissions and the reference modes of Flexible Alias Protection.

Place, publisher, year, edition, pages
National Category
Information Systems
Research subject
Computer and Systems Sciences
URN: urn:nbn:se:su:diva-132838DOI: 10.1007/978-3-540-69824-1_11OAI: diva2:955392
Available from: 2016-08-25 Created: 2016-08-25

Open Access in DiVA

No full text

Other links

Publisher's full text
By organisation
Department of Computer and Systems Sciences
Information Systems

Search outside of DiVA

GoogleGoogle Scholar
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

Altmetric score

Total: 2 hits
ReferencesLink to record
Permanent link

Direct link