Lightweight confinement for Featherweight Java

ACM SIGPLAN Notices

Volumn 38, Issue 11, 2003, Pages 135-148

  Zhao, Tian ^a   Palsberg, Jens ^b   Vitek, Jan ^b  

^a UNIVERSITY OF WISCONSIN MILWAUKEE   (United States)

^b PURDUE UNIVERSITY   (United States)

Author keywords

Aliasing; Confined types; Ownership

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; GRAPH THEORY; OBJECT ORIENTED PROGRAMMING; PROGRAM DIAGNOSTICS;

FEATHERWEIGHT JAVA; GROTHOFF INFORMAL RULES; LIGHTWEIGHT CONFINEMENT;

JAVA PROGRAMMING LANGUAGE;

EID: 1442264033     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/949343.949318     Document Type: Conference Paper

References (17)

1. Paulo Sérgio Almeida. Balloon types: Controlling sharing of state in data types. In Mehmet Aksit and Satoshi Matsuoka, editors, ECOOP'97 - Object-Oriented Programming, 11th European Conference, volume 1241 of LNCS, pages 32-59, Jyväskylä, Finland, 9-13 June 1997. Springer-Verlag.
2. Anindya Banerjee, and David A. Naumann. Representation independence, confinement and access control [extended abstract]. ACM SIGPLAN Notices, 37(1):166-177, January 2002.
3. Chandrasekhar Boyapati, Robert Lee, and Martin Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
4. Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, and Martin Rinard. Ownership types for safe region-based memory management in real-time java. June 2003.
5. John Boyland, James Noble, and William Retert. Capabilities for aliasing: A generalisation of uniqueness and read-only. In ECOOP'01 - Object-Oriented Programming, 15th European Conference, number 2072 in Lecture Notes in Computer Science, Berlin, Heidelberg, New York, 2001. Springer.
6. Dave Clarke, Michael Richmond, and James Noble. Saving the world from bad Beans: Deployment-time confinement checking. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Anaheim, CA, November 2003.
7. David Clarke. Object Ownership and Containment. PhD thesis, School of Computer Science and Engineering, University of New South Wales, Sydney, Australia, 2001.
8. David G. Clarke, John M. Potter, and James Noble. Ownership types for flexible alias protection. In OOPSLA '98 Conference Proceedings, volume 33(10) of ACM SIGPLAN Notices, pages 48-64. ACM, October 1998.
9. D. Detlefs, K. Rustan, M. Leino, and G. Nelson. Wrestling with rep exposure. Technical report, Digital Equipment Corporation Systems Research Center, 1996.
10. Daniela Genius, Martin Trapp, and Wolf Zimmermann. An approach to improve locality using Sandwich Types. In Proceedings of the 2nd Types in Compilation workshop, volume LNCS 1473, Kyoto, Japan, March 1998. Springer Verlag.
11. Christian Grothoff, Jens Palsberg, and Jan Vitek. Encapsulating objects with confined types. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2001.
12. John Hogg. Islands: Aliasing Protection in Object-Oriented Languages. In Proceedings of the OOPSLA '91 Conference on Object-Oriented Programming Systems, Languages and Applications, pages 271-285, November 1991. Published as ACM SIGPLAN Notices, volume 26, number 11.
13. John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, and Richard Holt. The Geneva convention on the treatment of object aliasing. OOPS Messenger, 3(2), April 1992.
14. Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems, 23(3):396-450, May 2001.
15. S.J.H. Kent and I. Maung. Encapsulation and Aggregation. In Proceedings of Tools Pacific 95 (Tools 18). Prentice Hall, 1995.
16. James Noble, Jan Vitek, and John Potter. Flexible alias protection. In Eric Jul, editor, ECOOP'98 - Object-Oriented Programming, volume 1445 of Lecture Notes In Computer Science, pages 158-185, Berlin, Heidelberg, New York, July 1988. Springer-Verlag.
17. J. Vitek and B. Bokowski. Confined types in Java. Software Practice and Experience, 31(6):507-532, 2001.