Generic ownership for generic Java

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn 2006, Issue , 2006, Pages 311-324

  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

Generics; Java; Ownership; Type systems

Indexed keywords

COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; POLYMORPHISM;

MAINSTREAM PROGRAMMING; PARAMETRIC POLYMORPHISM; TYPE SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 34248151376     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1167473.1167500     Document Type: Conference Paper

References (55)

1. ABADI, M., AND CARDELLI, L. A Theory of Objects. Springer-Verlag, Berlin, Heidelberg, Germany, 1996.
2. ALDRICH, J., AND CHAMBERS, C. Ownership Domains: Separating Aliasing Policy from Mechanism. In Proceedings of European Conference on Object-Oriented Programming (ECOOP) (Oslo, Norway, June 2004), vol. 3086, Springer-Verlag, Berlin, Heidelberg, Germany, pp. 1-25.
3. ALDRICH, J., KOSTADINOV, V., AND CHAMBERS, C. Alias Annotations for Program Understanding. In Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (Seattle, WA, USA, Nov. 2002), ACM Press, New York, NY, USA, pp. 311-330.
4. ANDREAE, C., NOBLE, J., MARKSTRUM, S., AND MILLSTEIN, T. A framework for implementing pluggable type systems. In Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (Portland, Oregon, USA, Oct. 2006), ACM Press, New York, NY, USA.
5. BAKER, H. G. Unify and Conquer (Garbage, Updating, Aliasing) in Functional Languages. In Proc. 1990 ACM Conf. on Lisp and Functional Programming (Nice, France, June 1990), pp. 218-226.
6. BARNETT, M., DELINE, R., FAHNDRICH, M., LEINO, K. R. M., AND SCHULTE, W. Verification of object-oriented programs with invariants. In Proceedings of the Workshop on Formal Techniques for Java-like Programs in European Conference on Object-Oriented Programming (FTfJP) (Darmstadt, Germany, July 2003), Springer-Verlag, Berlin, Heidelberg, Germany.
7. BOYAPATI, C. SafeJava: A Unified Type System for Safe Programming. PhD thesis, EECS, MIT, February 2004.
8. BOYAPATI, C., LEE, R., AND RINARD, M. Ownership types for safe programming: Preventing data races and deadlocks. In Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (November 2002).
9. BOYAPATI, C., LEE, R., AND RINARD, M. Safe runtime downcasts with ownership types. In Proceedings of International Workshop on Aliasing, Confinement, and Ownership (IWACO), D. Clarke, Ed. Utrecht University, July 2003, pp. 1-14.
10. BOYAPATI, C., LISKOV, B., AND SHRIRA, L. Ownership Types for Object Encapsulation. In Proceedings of ACM Symposium on Principles of Programming Languages (POPL) (New Orleans, LA, USA, Jan. 2003), ACM Press, New York, NY, USA, pp. 213-223. Invited talk by Barbara Liskov.
11. BOYAPATI, C., AND RINARD, M. A Parameterized Type System for Race-Free Java Programs. In Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (Tampa Bay, FL, USA, 2001), ACM Press, New York, NY, USA, pp. 56-69.
12. BOYLAND, J. Checking interference with fractional permissions. In Static Analysis: 10th International Symposium (2003), no. 2694 in Lecture Notes in Computer Science (LNCS), Springer-Verlag, Berlin, Heidelberg, Germany, pp. 55-72.
13. BOYLAND, J. T., AND RETER, W. Connecting effects and uniqueness with adoption. In Proceedings of ACM Symposium on Principles of Programming Languages (POPL) (2005).
14. BRACHA, G., ODERSKY, M., STOUTAMIRE, D., AND WADLER, P. Making the future safe for the past: Adding Genericity to the Java programming language. In Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (Oct. 1998).
15. CHARLES, P., DONAWA, C., EBCIOGLU, K., GROTHOFF, C., KIELSTRA, A., SARKAR, V., AND PRAUN, C. V. X10: An object-oriented approach to non-uniform cluster computing. In Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (2005).
16. CLARKE, D. Object Ownership and Containment. PhD thesis, School of CSE, UNSW, Australia, 2002.
17. CLARKE, D., AND DROSSOPOULOU, S. Ownership, Encapsulation, and the Disjointness of Type and Effect. In Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (Seattle, WA, USA, Nov. 2002), ACM Press, New York, NY, USA, pp. 292-310.
18. CLARKE, D., POTTER, J., AND NOBLE, J. Ownership Types for Flexible Alias Protection. In Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (Vancouver, Canada, Oct. 1998), ACM Press, New York, NY, USA, pp. 48-64.
19. CLARKE, D., RICHMOND, M., AND NOBLE, J. Saving the World from Bad Beans: Deployment-Time Confinement Checking. In Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (Anaheim, CA, 2003), ACM Press, New York, NY, USA, pp. 374-387.
20. CLARKE, D., AND WRIGSTAD, T. External Uniqueness is Unique Enough. In Proceedings of European Conference on Object-Oriented Programming (ECOOP) (Darmstadt, Germany, July 2003), vol. 2473 of Lecture Notes in Computer Science (LNCS), Springer-Verlag, Berlin, Heidelberg, Germany, pp. 176-200.
21. DIWAN, A., MCKINLEY, K. S., AND MOSS, J. E. B. Type-based alias analysis. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (June 1998).
22. FLUET, M., AND PUCELLA, R. Phantom Types and Subtyping. In International Conference on Theoretical Computer Science (TCS) (Aug. 2002), pp. 448-460.
23. GROSSMAN, D., MORRISETT, J. G., JIM, T., HICKS, M. W., WANG, Y., AND CHENEY, J. Region-based memory management in cyclone. In PLDI (2002), pp. 282-293.
24. GROTHOFF, C., PALSBERG, J., AND VITEK, J. Encapsulating Objects with Confined Types. In Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (Tampa Bay, FL, USA, 2001), ACM Press, New York, NY, USA, pp. 241-255.
25. HOGG, J. Islands: Aliasing Protection in Object-Oriented Languages. In Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (Phoenix, AZ, USA, Nov. 1991), vol. 26, ACM Press, New York, NY, USA, pp. 271-285.
26. HOGG, J., LEA, D., WILLS, A., DE CHAMPEAUX, D., AND HOLT, R. The Geneva convention of the treatment of object aliasing. OOPS Messenger 3, 2 (April 1992), 11-16.
27. IGARASHI, A., PIERCE, B. C., AND WADLER, P. Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems (TOPLAS) 23, 3 (May 2001), 396-450.
28. IGARASHI, A., PIERCE, B. C., AND WADLER, P. A recipe for raw types. In Proceedings of Workshop on Foundations of Object-Oriented Languages (FOOL) (2001).
29. KENNEDY, A., AND RUSSO, C. Generalized algebraic data types and object-oriented programming. In Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (2005).
30. KENNEDY, A., AND SYME, D. The design and implementation of Generics for the .NET Common Language Runtime. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (2001).
31. KRISHNASWAMI, N., AND ALDRICH, J. Permission-based ownership: Encapsulating state in higher-order typed languages. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (Chicago, UL, USA, 2005), ACM Press, New York, NY, USA, pp. 96-106.
32. LAMPORT, L., AND SCHNEIDER, F. B. Constraints: A uniform approach to aliasing and typing. In Proceedings of ACM Symposium on Principles of Programming Languages (POPL) (New Orleans, Louisiana, 1985), pp. 205-216.
33. LEINO, K. R. M., AND MULLER, P. Object invariants in dynamic contexts. In Proceedings of European Conference on Object-Oriented Programming (ECOOP) (2004), Springer-Verlag, Berlin, Heidelberg, Germany.
34. LU, Y., AND POTTER, J. A type system for reachability and acyclicity. In Proceedings of European Conference on Object-Oriented Programming (ECOOP) (2005), vol. 3586 of Lecture Notes in Computer Science, Springer, pp. 479-503.
35. LU, Y., AND POTTER, J. Flexible ownership types with owner variance. In Proceedings of European Conference on Object-Oriented Programming (ECOOP) (2006).
36. LU, Y., AND POTTER, J. Protecting representation with effect encapsulation. In Proceedings of ACM Symposium on Principles of Programming Languages (POPL) (2006).
37. MILNER, R. Theory of type polymorphism in programming. Journal of Computer and System Sciences 17(3) (1978), 348-375.
38. MITCHELL, N. The runtime structure of object ownership. In Proceedings of European Conference on Object-Oriented Programming (ECOOP) (Nantes, France, July 2006), D. Thomas, Ed., vol. 4067 of Lecture Notes in Computer Science (LNCS), Springer-Verlag, Berlin, Heidelberg, Germany, pp. 74-98.
39. MÜLLER, P., AND POETZSCH- HEFFTER, A. Programming Languages and Fundamentals of Programming. Fernuniversität Hagen, 1999, ch. Universes: a Type System for Controlling Representation Exposure. Poetzsch-Heffter, A. and Meyer, J. (editors).
40. NOBLE, J., VITEK, J., AND POTTER, J. Flexible Alias Protection. In Proceedings of European Conference on Object-Oriented Programming (ECOOP) (July 1998), E. Jul, Ed., vol. 1445 of Lecture Notes in Computer Science (LNCS), Springer-Verlag, Berlin, Heidelberg, Germany, pp. 158-185.
41. O'CALLAHAN, R., AND JACKSON, D. Lackwit: a program understanding tool based on type inference. In Proceedings of the International Conference on Software Engineering (ICSE) (Boston, USA, May 1997).
42. PERMANDLA, P., AND BOYAPATI, C. A type system for preventing data races and deadlocks in the Java virtual machine language. Tech. rep., University of Michigan, 2005.
43. PIERCE, B. C. Types and Programming Languages. MIT Press, 2002.
44. POTANIN, A. Ownership Generic Java Download, http://www.mcs.vuw.ac.nz/~alex/ogj/, 2005.
45. POTANIN, A., NOBLE, J., CLARKE, D., AND BIDDLE, R. Defaulting Generic Java to Ownership. In Proceedings of the Workshop on Formal Techniques for Java-like Programs in European Conference on Object-Oriented Programming (FTfJP) (Oslo, Norway, June 2004), Springer-Verlag, Berlin, Heidelberg, Germany.
46. POTANIN, A., NOBLE, J., CLARKE, D., AND BIDDLE, R. Featherweight Generic Ownership. In Proceedings of the Workshop on Formal Techniques for Java-like Programs in European Conference on Object-Oriented Programming (FTfJP) (Glasgow, Scotland, July 2005), Springer-Verlag, Berlin, Heidelberg, Germany.
47. POTANIN, A., NOBLE, J., CLARKE, D., AND BIDDLE, R. Featherweight Generic Confinement. Journal of Functional Programming (2006). Accepted for publication.
48. POTANIN, A., NOBLE, J., CLARKE, D., AND BIDDLE, R. Featherweight generic ownership. Tech. rep., Victoria University of Wellington, 2006. http://www.mcs.vuw.ac.nz/~alex/FGOTR. pdf.
49. PUGH, B. Find Bugs - A Bug Pattern Detector for Java. www.cs.umd.edu/~pugh/jva/bugs/, 2003.
50. SUN MICROSYSTEMS. Java Development Kit. Available at: http://java.sun.com/j2se/, 2005.
51. TALPIN, J.-P., AND JOUVELOT, P. Polymorphic type, region, and effect inference. Journal of Functional Programming 2, 3 (July 1992), 245-271.
52. TOFTE, M., AND TALPIN, J.-P. Region-Based Memory Management. Information and Computation 132, 2 (1997), 109-176.
53. TORGERSON, M., ERNST, E., HANSEN, C. P., VON DER AHÉ, P., BRACHA, G., AND GAFTER, N. Adding wildcards to the Java programming language. Journal of Object Technology 3, 11 (Dec. 2004), 97-116. Special Issue: OOPS track at SAC 2004.
54. VITEK, J., AND BOKOWSKI, B. Confined Types in Java. Software Practice & Experience 31, 6 (May 2001), 507-532.
55. ZHAO, T., PALSBERG, J., AND VITEK, J. Type-Based Confinement. Journal of Functional Programming 16, 1 (2006), 83-128.