ContextFJ: A Minimal Core Calculus for Context-Oriented Programming (bibtex)

by Robert Hirschfeld, Atsushi Igarashi and Hidehiko Masuhara

Abstract:

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.

Reference:

ContextFJ: A Minimal Core Calculus for Context-Oriented Programming (Robert Hirschfeld, Atsushi Igarashi and Hidehiko Masuhara), In Proceedings of Foundations of Aspect-Oriented Langauges (FOAL2011) (Gary T. Leavens, Shmuel Katz, Hidehiko Masuhara, eds.), 2011.

Bibtex Entry:

@inproceedings{hirschfeld2011foal,
  editor = {Gary T. Leavens and Shmuel Katz and Hidehiko Masuhara},
  optnote = {ACM Digital library},
  day = 21,
  month = mar,
  year = 2011,
  url = {http://www.eecs.ucf.edu/FOAL/papers-2011/proceedings.pdf},
  booktitle = {Proceedings of Foundations of Aspect-Oriented Langauges (FOAL2011)},
  author = {Robert Hirschfeld and Atsushi Igarashi and Hidehiko Masuhara},
  title = {{ContextFJ}: A Minimal Core Calculus for Context-Oriented Programming},
  doi = {10.1145/1960510.1960515},
  pages = {25--29},
  pdf = {foal2011-contextfj.pdf},
  abstract = {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.}
}