Ownership, Uniqueness, and Immutability
2008 (English)In: Lecture Notes in Business Information Processing, ISSN 1865-1348Article in journal (Refereed) Published
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
IdentifiersURN: urn:nbn:se:uu:diva-266671DOI: 10.1007/978-3-540-69824-1_11OAI: oai:DiVA.org:uu-266671DiVA: diva2:868451
46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008.