Protecting representation with effect encapsulation

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2006, Pages 359-371

  Lu, Yi ^a   Potter, John ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

Effect systems; Object encapsulation; Ownership types; Representation exposure; Types

Indexed keywords

COMPUTATIONAL COMPLEXITY; ENCAPSULATION; PROBLEM SOLVING; STRUCTURED PROGRAMMING;

EFFECT SYSTEMS; OBJECT ENCAPSULATION; OWNERSHIP TYPES; REPRESENTATION EXPOSURE; TYPES;

OBJECT ORIENTED PROGRAMMING;

EID: 33745816403     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1111037.1111069     Document Type: Conference Paper

References (33)

1. J. Aldrich and C. Chambers. Ownership domains: Separating aliasing policy from mechanism. In In European Conference for Object-Oriented Programming (ECOOP), July 2004.
2. P. S. Almeida. Balloon types: Controlling sharing of state in data types. Lecture Notes in Computer Science, 1241:32-59, 1997.
3. A. Banerjee and D. A. Naumann. Representation independence, confinement and access control [extended abstract]. In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 166-177. ACM Press, 2002.
4. A. Birka and M. D. Ernst. A practical type system and language for reference immutability. In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 35-49. ACM Press, 2004.
5. C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
6. C. Boyapati, B. Liskov, and L. Shrira. Ownership types for object encapsulation. In Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 213-223. ACM Press, 2003.
7. C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In 16th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Tampa Bay, FL, October 2001.
8. C. Boyapati, A. Salcianu, J. William Beebee, and M. Rinard. Ownership types for safe region-based memory management in real-time Java. InPLDI '03: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pages 324-337. ACM Press, 2003.
9. J. Boyland. Why we should not add readonly to Java (yet). In F. Logozzo and J. Vitek, editors, ECOOP 2005 Workshop on Formal Techniques for Java-like Programs, July 2005.
10. J. Boyland, J. Noble, and W. Retert. Capabilities for sharing: A generalisation of uniqueness and read-only. In In European Conference for Object-Oriented Programming (ECOOP), pages 2-27, 2001.
11. J. T. Boyland and W. Retert. Connecting effects and uniqueness with adoption. In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 283-295, New York, NY, USA, 2005. ACM Press.
12. D. Clarke. Object Ownership and Containment. PhD thesis, School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia, 2001.
13. D. Clarke and T. Wrigstad. External uniqueness is unique enough. In In European Conference for Object-Oriented Programming (ECOOP), July 2003.
14. D. G. Clarke and S. Drossopoulou. Ownership, encapsulation and disjointness of type and effect. In 17th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
15. D. G. Clarke, J. Noble, and J. M. Potter. Simple ownership types for object containment. In European Conference for Object-Oriented Programming (ECOOP), 2001.
16. D. G. Clarke, J. M. Potter, and J. Noble. Ownership types for flexible alias protection. In Proceedings of the 13th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 48-64. ACM Press, 1998.
17. M. Fahndrich and R. DeLine. Adoption and focus: practical linear types for imperative programming. In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 13-24, New York, NY, USA, 2002. ACM Press.
18. A. Greenhouse and J. Boyland. An object-oriented effects system. In ECOOP '99: Proceedings of the 13th European Conference on Object-Oriented Programming, pages 205-229. Springer-Verlag, 1999.
19. J. Hogg. Islands: aliasing protection in object-oriented languages. In OOPSLA '91: Proceedings of Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 271-285, New York, NY, USA, 1991. ACM Press.
20. A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In L. Meissner, editor, Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'99), volume 34(10), pages 132-146, N. Y., 1999.
21. A. Igarashi and M. Viroli. On variance-based subtyping for parametric types. In Proceedings of the 16th European Conference on Object-Oriented Programming,pages 441-469. Springer-Verlag, 2002.
22. N. Krishnaswami and J. Aldrich. Permission-based ownership: encapsulating state in higher-order typed languages. In PLDI '05: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 96-106, New York, NY, USA, 2005. ACM Press.
23. K. R. M. Leino and P. Müller. Object invariants in dynamic contexts. In Proceedings of the 18th European Conference on Object-Oriented Programming, pages 491-516. Springer-Verlag, 2004.
24. K. R. M. Leino, A. Poetzsch-Heffter, and Y. Zhou. Using data groups to specify and check side effects. In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 246-257. ACM Press, 2002.
25. Y. Lu and J. Potter. A type system of reachability and acyclicity. In Proceedings of the 19th European Conference on Object-Oriented Programming, pages 479-503. Springer-Verlag, 2005.
26. P. Müller and A. Poetzsch-Heffter. Universes: A type system for controlling representation exposure. Programming Languages and Fundamentals of Programming, 1999.
27. P. Müller and A. Poetzsch-Heffter. Universes: A type system for alias and dependency control. Technical Report 279, Fernuniversität Hagen, 2001.
28. J. Noble, J. Vitek, and J. Potter. Flexible alias protection. In European Conference for Object-Oriented Programming (ECOOP), 1998.
29. J. Potter, J. Noble, and D. Clarke. The ins and outs of objects. In Australian Software Engineering Conference. IEEE Press, 1998.
30. F. Smith, D. Walker, and G. Morrisett. Alias types. Lecture Notes in Computer Science, 1782:366-381, 2000.
31. J. Vitek and B. Bokowski. Confined types. In Proceedings of the 14th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 82-96. ACM Press, 1999.
32. P. Wadler. Linear types can change the world! In M. Broy and C. Jones, editors, IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, pages 347-359. North Holland, 1990.
33. D. Walker and G. Morrisett. Alias types for recursive data structures. Lecture Notes in Computer Science, 2071:177-206, 2001.