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.}
}