A Type System for Dynamic Layer Composition

  title={A Type System for Dynamic Layer Composition},
  author={Atsushi Igarashi},
Dynamic layer composition is one of the key features in contextoriented programming (COP), an approach to improving modularity of behavioral variations that depend on the dynamic context of the execution environment. It allows a layer—a set of new or overriding methods that can belong to several classes—to be added to or removed from existing objects in a disciplined way. We develop a type system for dynamic layer composition, which may change the interfaces of objects at run time, based on a… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 14 extracted citations

Generalized Layer Activation Mechanism for Context-Oriented Programming

Trans. Modularity and Composition • 2016
View 12 Excerpts
Highly Influenced


Publications referenced by this paper.
Showing 1-10 of 19 references

A semantics for context-oriented programming with layers

COP@ECOOP • 2009
View 3 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…