Featherweight EventCJ: a Core Calculus for a Context-Oriented Language with Event-Based Per-Instance Layer Transition (bibtex)

by Tomoyuki Aotani, Tetsuo Kamina and Hidehiko Masuhara

Abstract:

We propose Featherweight EventCJ, which is a small calculus for context-oriented languages with event-based per-instance layer controls like EventCJ. It extends ContextFJ with stores, labels and transitions for modeling the per-instance layer management, events and declarative layer transition rules, respectively.

Reference:

Featherweight EventCJ: a Core Calculus for a Context-Oriented Language with Event-Based Per-Instance Layer Transition (Tomoyuki Aotani, Tetsuo Kamina and Hidehiko Masuhara), In Proceedings of the Workshop on Context-Oriented Programming (COP'11), 2011.

Bibtex Entry:

@inproceedings{aotani2011cop,
  pdf = {cop2011.pdf},
  author = {Tomoyuki Aotani and Tetsuo Kamina and Hidehiko Masuhara},
  title = {Featherweight {EventCJ}: a Core Calculus for a Context-Oriented
  Language with Event-Based Per-Instance Layer Transition},
  booktitle = {Proceedings of the Workshop on Context-Oriented Programming (COP'11)},
  pages = {1:1--1:7},
  year = 2011,
  month = jul,
  location = {Lancaster, UK},
  doi = {10.1145/2068736.2068737},
  abstract = {We propose Featherweight EventCJ, which is a small calculus for context-oriented languages with event-based per-instance layer controls like EventCJ. It extends ContextFJ with stores, labels and transitions for modeling the per-instance layer management, events and declarative layer transition rules, respectively.}
}