Encapsulating objects with confined types
- 1 October 2001
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 36 (11), 241-255
- https://doi.org/10.1145/504282.504300
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Sealed calls in Java packagesPublished by Association for Computing Machinery (ACM) ,2000
- Removing unnecessary synchronization in JavaPublished by Association for Computing Machinery (ACM) ,1999
- Escape analysis for object-oriented languagesPublished by Association for Computing Machinery (ACM) ,1999
- Ownership types for flexible alias protectionPublished by Association for Computing Machinery (ACM) ,1998
- Semantic models and abstract interpretation techniques for inductive data structures and pointersPublished by Association for Computing Machinery (ACM) ,1995
- The Geneva convention on the treatment of object aliasingACM SIGPLAN OOPS Messenger, 1992
- IslandsPublished by Association for Computing Machinery (ACM) ,1991