By Robert Hirschfeld, Atsushi Igarashi, and Hidehiko Masuhara. To appear in Proceedings of Foundations of Aspect-Oriented Languages (FOAL2011), Pernambuco, Brazil, March, 2011.
We develop a minimal core calculus called ContextFJ to model
language mechanisms for context-oriented programming (COP). Unlike
other formal models of COP, ContextFJ has a direct operational
semantics that can serve as a precise description of the core of COP
languages. We also discuss a simple type system that helps to
prevent undefined methods from being accessed via
proceed
.