Semantics and Verification of Object-Oriented Languages


NII Shonan Meeting Seminar 063

Tomoyuki Aotani: A semantics for context-oriented programming languages with multiple layer activation mechanisms

Context-oriented programming (COP) is an approach to modularize behavioral variations of programs into layers from the viewpoint of contexts that change dynamically during the execution of a program. Changing behavior with respect to changes of contexts is achieved by activating or deactivating layers and dispatching methods according to not only the dynamic type of the receiver object but also the set of active layers. Several layer-activation mechanisms have been proposed separately for COP languages. In this talk we propose new semantics using monads and comonads for COP languages supporting multiple layer-activation mechanisms.


Category: Talks


Comments are closed.