ContextFJ: A Minimal Core Calcules for Context-oriented Programming

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.