Featherweight generic confinement

Journal of Functional Programming

Volumn 16, Issue 6, 2006, Pages 793-811

  Potanin, Alex ^a   Noble, James ^a   Clarke, Dave ^b   Biddle, Robert ^c  

^a VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

^b CWI   (Netherlands)

^c CARLETON UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

GENERAL-PURPOSE PROGRAMMING LANGUAGE; GENERIC JAVA; OBJECT ENCAPSULATION; OWNERSHIP TYPE; POLYMORPHIC TYPES; TYPE SYSTEMS; UNDERLYING LANGUAGE;

JAVA PROGRAMMING LANGUAGE;

SYNTACTICS;

EID: 33750278997     PISSN: 09567968     EISSN: 14697653     Source Type: Journal    
DOI: 10.1017/S0956796806006125     Document Type: Article

References (26)

1. Aldrich, Jonathan, & Chambers, Craig. (2004). Ownership Domains: Separating Aliasing Policy from Mechanism. Pages 1-25 of: Proceedings of European Conference on Object-Oriented Programming (ECOOP), vol. 3086. Oslo, Norway: Springer-Verlag, Berlin, Heidelberg, Germany.
2. Aldrich, Jonathan, Kostadinov, Valentin, & Chambers, Craig. (2002). Alias Annotations for Program Understanding. Pages 311-330 of: Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). Seattle, WA, USA: ACM Press, New York, NY, USA.
3. Banerjee, Anindya, & Naumann, David A. (2004). Ownership Confinement Ensures Representation Independence for Object-Oriented Programs. Journal of the ACM (JACM), 52(6), 894-960.
4. Boyapati, Chandrasekhar, & Rinard, Martin. (2001). A Parameterized Type System for Race-Free Java Programs. Pages 56-69 of: Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). Tampa Bay, FL, USA: ACM Press, New York, NY, USA.
5. Boyapati, Chandrasekhar, Liskov, Barbara, & Shrira, Liuba. (2003). Ownership Types for Object Encapsulation. Pages 213-223 of: Proceedings of ACM Symposium on Principles of Programming Languages (POPL). New Orleans, LA, USA: ACM Press, New York, NY, USA. Invited talk by Barbara Liskov.
6. Clarke, Dave. (2002). Object Ownership and Containment. Ph.D. thesis, School of CSE, UNSW, Australia.
7. Clarke, Dave, & Drossopoulou, Sophia. (2002). Ownership, Encapsulation, and the Disjointness of Type and Effect. Pages 292-310 of: Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). Seattle, WA, USA: ACM Press, New York, NY, USA.
8. Clarke, Dave, Richmond, Michael, & Noble, James. (2003). Saving the World from Bad Beans: Deployment-Time Confinement Checking. Pages 374-387 of: Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). Anaheim, CA: ACM Press, New York, NY, USA.
9. Clarke, David, & Wrigstad, Tobias. (2003). External Uniqueness is Unique Enough. Pages 176-200 of: Proceedings of European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science (LNCS), vol. 2473. Darmstadt, Germany: Springer-Verlag, Berlin, Heidelberg, Germany.
10. Clarke, David, Potter, John, & Noble, James. (1998). Ownership Types for Flexible Alias Protection. Pages 48-64 of: Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). Vancouver, Canada: ACM Press, New York, NY, USA.
11. Fluet, Matthew, & Pucella, Riccardo. 2002 (Aug.). Phantom Types and Subtyping. Pages 448-460 of: International Conference on Theoretical Computer Science (TCS).
12. Hinze, Ralf. (2003). The Fun of Programming. Palgrave Macmillan. Editors: Jeremy Gibbons and Oege de Moor. Chap. Fun with Phantom Types, pages 245-262.
13. Hogg, John. (1991). Islands: Aliasing Protection in Object-Oriented Languages. Pages 271-285 of: Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), vol. 26. Phoenix, AZ, USA: ACM Press, New York, NY, USA.
14. Igarashi, Atsushi, & Viroli, Mirko. (2002). On variance-based subtyping for parametric types. Pages 441-469 of: Proceedings of European Conference on Object-Oriented Programming (ECOOP). Malaga, Spain: Springer-Verlag, Berlin, Heidelberg, Germany. To appear in ACM Transactions on Programming Languages and Systems.
15. Igarashi, Atsushi, Pierce, Benjamin C., & Wadler, Philip. (2001). Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems (TOPLAS), 23(3), 396-450.
16. Launchbury, John, & Peyton Jones, Simon L. (1995). State in Haskell. Lisp and Symbolic Computation, 8(4), 293-341.
17. Leijen, Daan, & Meijer, Erik. (1999). Domain-Specific Embedded Compilers. Pages 109-122 of: Proceedings of the 2nd Conference on Domain-Specific Languages. Berkeley, CA, USA: USENIX Association.
18. Müller, P., & Poetzsch-Heffter, A. (1999). Programming Languages and Fundamentals of Programming, Fernuniversität Hagen. Poetzsch-Heffter, A. and Meyer, J. (editors). Chap. Universes: a Type System for Controlling Representation Exposure.
19. Noble, James, & Biddle, Robert. 2003 (May). Oh! Gee! Java! - Ownership Types (almost) for Free. Tech. rept. VUW-CS-TR-03/9. School of Mathematics, Statistics, and Computer Science, Victoria University of Wellington, New Zealand.
20. Noble, James, Vitek, Jan, & Potter, John. (1998). Flexible Alias Protection. Pages 158-185 of: Jul, Eric (ed), Proceedings of European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science (LNCS), vol. 1445. Springer-Verlag, Berlin, Heidelberg, Germany.
21. Noble, James, Biddle, Robert, Tempero, Ewan, Potanin, Alex, & Clarke, Dave. (2003). Towards a Model of Encapsulation. Clarke, Dave (ed), Proceedings of International Workshop on Aliasing, Confinement, and Ownership (IWACO). UU-CS-2003, no. 030. Utrecht University.
22. Potanin, Alex. (2005). Ownership Generic Java Download. http://www.mcs.vuw.ac.nz/alex/ogj/.
23. Potanin, Alex, Noble, James, Clarke, Dave, & Biddle, Robert. (2004). Defaulting Generic Java to Ownership. Proceedings of the Workshop on Formal Techniques for Java-like Programs in European Conference on Object-Oriented Programming (FTfJP). Oslo, Norway: Springer-Verlag, Berlin, Heidelberg, Germany.
24. Sun Microsystems. (2005). Java Development Kit. Available at: http://java.sun.com/j2se/.
25. Vitek, Jan, & Bokowski, Boris. (2001). Confined Types in Java. Software Practice & Experience, 31(6), 507-532.
26. Zhao, Tian, Palsberg, Jens, & Vitek, Jan. (2006). Type-Based Confinement. Journal of Functional Programming, 16(1), 83-128.