Sep 28, 2015
Atsushi Igarashi: Type Systems for Dynamic Layer Composition
Key features of context-oriented programming (COP) are _layers_—modules to describe context-dependent behavioral variations of a software system—and their _dynamic activation_, which can modify the behavior of multiple objects that have already been instantiated.? Typechecking programs written in a COP language is difficult because the activation of a layer can even change objects’ interfaces.
In this talk we present a few type systems to deal with such dynamic layer compositions.? Starting with a very simple but restrictive type system, we gradually add language features and extend the type system accordingly.
This is a joint work with Hiroaki Inoue, Robert Hirschfeld, and Hidehiko Masuhara.