Immutability - ECS | Victoria University of Wellington

268 A. Potanin et al.
40. Clarke, D., Potter, J., Noble, J.: Ownership Types for Flexible Alias Protection. In: OOPSLA,
pp. 48–64. ACM Press, Vancouver (1998)
41. Bloch, J.: Effective Java Programming Language Guide. Addison Wesley, Boston (2001)
42. Huang, S.S., Zook, D., Smaragdakis, Y.: cJ: Enhancing Java with safe type conditions. In:
AOSD, pp. 185–198. ACM Press, New York (2007)
43. Clarke, D., Östlund, J., Sergey, I., Wrigstad, T.: Ownership Types: A Survey. In: Clarke, D.,
Noble, J., Wrigstad, T. (eds.) Aliasing in Object-Oriented Programming. LNCS, vol. 7850,
pp. 15–58. Springer, Heidelberg (2013)
44. Clarke, D., Drossopoulou, S.: Ownership, Encapsulation, and the Disjointness of Type and
Effect. In: OOPSLA, pp. 292–310. ACM Press, Seattle (2002)
45. Boyland, J.: Why we should not add readonly to Java (yet). Journal of Object Technology
(2006); Special issue: ECOOP 2005 Workshop FTfJP
46. Wrigstad, T.: Ownership-Based Alias Management. PhD thesis, Royal Institute of Technology,
Sweden (May 2006)
47. Boyland, J.: Checking Interference with Fractional Permissions. In: Cousot, R. (ed.) SAS
2003. LNCS, vol. 2694, pp. 55–72. Springer, Heidelberg (2003)
48. Clarke, D.: Object Ownership and Containment. PhD thesis, School of Computer Science
and Engineering, University of New South Wales, Sydney, Australia (2001)
49. Potanin, A., Noble, J., Clarke, D., Biddle, R.: Generic ownership for generic Java. In: OOP-
SLA, pp. 311–324. ACM Press, New York (2006)
50. Clarke, D., Drossopoulou, S.: Ownership, encapsulation and the disjointness of type and
effect. In: OOPSLA, pp. 292–310. ACM Press, New York (2002)
51. Boyapati, C.: SafeJava: A Unified Type System for Safe Programming. PhD thesis, Electrical
Engineering and Computer Science, MIT (February 2004)
52. Birka, A.: Compiler-enforced immutability for the Java language. Technical Report MIT-
LCS-TR-908, MIT Lab for Computer Science (June 2003); Revision of Master’s thesis
53. Bracha, G., Odersky, M., Stoutamire, D., Wadler, P.: Making the future safe for the past:
Adding genericity to the Java programming language. In: OOPSLA, pp. 183–200. ACM
Press, New York (1998)
54. Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java
and GJ. ACM Transactions on Programming Languages and Systems (TOPLAS) 23(3), 396–
450 (2001)
55. Clarke, D., Wrigstad, T.: External Uniqueness is Unique Enough. In: Cardelli, L. (ed.)
ECOOP 2003. LNCS, vol. 2743, pp. 176–241. Springer, Heidelberg (2003)
56. Wrigstad, T.: Ownership-Based Alias Management. PhD thesis, Royal Institute of Technology,
Kista, Stockholm (May 2006)
57. Müller, P., Poetzsch-Heffter, A.: Universes: A type system for controlling representation
exposure. Technical report, Fernuniversität Hagen (1999)
58. Müller, P.: Modular Specification and Verification of Object-Oriented Programs. PhD thesis,
FernUniversität Hagen (2001)
59. Haack, C., Poll, E.: Type-Based Object Immutability with Flexible Initialization. In:
Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol. 5653, pp. 520–545. Springer, Heidelberg
(2009)
60. Ernst, M.D.: Type annotations specification (jsr 308),
http://pag.csail.mit.edu/jsr308/ (September 12, 2008)
61. Boyland, J.: Why we should not add readonly to Java (yet). In: FTfJP, Glasgow, Scotland.
Springer (July 2005)
62. Lucassen, J.M., Gifford, D.K.: Polymorphic effect systems. In: POPL, pp. 47–57 (January
1988)
63. Talpin, J.P., Jouvelot, P.: The type and effect discipline. In: LICS, pp. 162–173 (June 1992)