Ownership, Uniqueness, and Immutability

  • Johan Östlund
  • Tobias Wrigstad
  • Dave Clarke
  • Beatrice Åkerblom
Conference paper

DOI: 10.1007/978-3-540-69824-1_11

Volume 11 of the book series Lecture Notes in Business Information Processing (LNBIP)
Cite this paper as:
Östlund J., Wrigstad T., Clarke D., Åkerblom B. (2008) Ownership, Uniqueness, and Immutability. In: Paige R.F., Meyer B. (eds) Objects, Components, Models and Patterns. TOOLS EUROPE 2008. Lecture Notes in Business Information Processing, vol 11. Springer, Berlin, Heidelberg

Abstract

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, Joe3, imposes little additional syntactic overhead, yet can encode powerful patterns such as fractional permissions and the reference modes of Flexible Alias Protection.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Johan Östlund
    • 1
  • Tobias Wrigstad
    • 1
  • Dave Clarke
    • 2
  • Beatrice Åkerblom
    • 3
  1. 1.Purdue UniversityIndianaUSA
  2. 2.CWIAmsterdamThe Netherlands
  3. 3.Stockholm UniversityStockholmSweden