Confined roles and decapsulation in object teams: contradiction or synergy?

Authors:
Stephan Herrmann
Affiliations:
GK Software AG, Schöneck, Germany
Venue:
Aliasing in Object-Oriented Programming
Year:
2013

Citing 13
Cited 0

Self: The power of simplicity

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
N degrees of separation: multi-dimensional separation of concerns

Proceedings of the 21st international conference on Software engineering
Confined types in Java

Software—Practice & Experience - Special issue on aliasing in object-oriented systems
Conquering aspects with Caesar

Proceedings of the 2nd international conference on Aspect-oriented software development
An Overview of AspectJ

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

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Object Teams: Improving Modularity for Crosscutting Collaborations

NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
A virtual class calculus

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Tribe: a simple virtual class calculus

Proceedings of the 6th international conference on Aspect-oriented software development
Dependent classes

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Ownership transfer in universe types

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Tribal ownership

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Modules as objects in newspeak

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.