Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy?

Stephan Herrmann. Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy?. In Dave Clarke, James Noble, Tobias Wrigstad, editors, Aliasing in Object-Oriented Programming. Types, Analysis and Verification. Volume 7850 of Lecture Notes in Computer Science, pages 443-470, Springer, 2013. [doi]

Abstract

Abstract is missing.