Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Volume 7850 of the series Lecture Notes in Computer Science pp 443-470

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

  • Stephan HerrmannAffiliated withGK Software AG

* Final gross prices may vary according to local VAT.

Get Access

Many Faces of Modularity

The Object Teams programming model [1] has been developed to advance our capability to write modular programs. A central concept in this programming model is the notion of teams - instantiable classes - that serve as a container for nested classes. This nesting is stronger than it is in languages like Java, because the type system applies the concept of family polymorphism [2], so all nested classes are actually dependent classes: classes that depend on the enclosing instance. As nested classes can again be teams there are no limits to nesting.