ContextFJ: a minimal core calculus for context-oriented programming

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.

[1]  Oscar Nierstrasz,et al.  Context-oriented Programming , 2008, J. Object Technol..

[2]  Hidehiko Masuhara,et al.  EventCJ: a context-oriented programming language with declarative event-based context transition , 2011, AOSD '11.

[3]  Michael Haupt,et al.  An Introduction to Context-Oriented Programming with ContextS , 2007, GTTSE.

[4]  Michael Haupt,et al.  A Platform for Experimenting with Language Constructs for Modularizing Crosscutting Concerns , 2010 .

[5]  Ina Schaefer,et al.  Compositional type-checking for delta-oriented programming , 2011, AOSD '11.

[6]  Philip Wadler,et al.  Featherweight Java: a minimal core calculus for Java and GJ , 1999, OOPSLA '99.

[7]  Michael Haupt,et al.  Delegation-based semantics for modularizing crosscutting concerns , 2008, OOPSLA.

[8]  Don Batory,et al.  Scaling Step-Wise Refinement , 2004, IEEE Trans. Software Eng..

[9]  Robert Hirschfeld,et al.  Language constructs for context-oriented programming: an overview of ContextL , 2005, DLS '05.

[10]  Sven Apel,et al.  Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement , 2008, GPCE '08.

[11]  Michael Haupt,et al.  ContextJ: Context-oriented Programming with Java , 2011 .

[12]  Robert Hirschfeld,et al.  An open implementation for context-oriented layer composition in ContextJS , 2011, Sci. Comput. Program..

[13]  William R. Cook,et al.  A machine-checked model of safe composition , 2009, FOAL '09.

[14]  Viviana Bono,et al.  Delta-Oriented Programming of Software Product Lines , 2010, SPLC.