Foundations of Context-Oriented Programming

Although there have been quite a few context-oriented programming (COP) languages, little is known their nature. We examine language mechanisms in COP languages by building formalizations of simplified context-oriented languages, and by designing minimalistic COP languages that can subsume other language mechanisms like objects, inheritance, traits, features, and so forth.



  • Robert Hirschfeld, Hidehiko Masuhara, and Atsushi Igarashi, Layer and Object Refinement for Context-oriented Programming in L, in Proceedings of IPSJ 95th Workshop on Programming, 2013-2-(2), August 2013.
  • Robert Hirschfeld, Hidehiko Masuhara, and Atsushi Igarashi, L: Context-oriented Programming With Only Layers, In Proceedings of Workshop on Context-Oriented Programming (COP2013), Article No. 2, July 2013.
  • Atsushi Igarashi, Robert Hirschfeld, and Hidehiko Masuhara, A Type System for Dynamic Layer Composition, In Proceedings of 19th International Workshop on Foundations of Object-Oriented Languages (FOOL 2012), pp.13-24, October 2012.
  • Robert Hirschfeld, Atsushi Igarashi, and Hidehiko Masuhara, ContextFJ: A Minimal Core Calculus for Context-Oriented Programming, In Proceedings of Foundations of Aspect-Oriented Langauges (FOAL2011), pp.25-29, March 2011.