An Approach to Improve Locality Using Sandwich Types

Confined types

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Encapsulating objects with confined types

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Simple Ownership Types for Object Containment

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming

Automatic detection of immutable fields in Java

CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research

Lightweight confinement for featherweight java

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications

Type-based confinement

Journal of Functional Programming

Encapsulating objects with confined types

ACM Transactions on Programming Languages and Systems (TOPLAS)

Modular specification and verification of object-oriented programs

Modular specification and verification of object-oriented programs

Application-Only call graph construction

ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming