M. Appeltauer, R. Hirschfeld, M. Haupt & H. Masuhara (2011):
ContextJ: Context-oriented Programming with Java.
Computer Software 28(1).
Massimo Bartoletti, Pierpaolo Degano & Gian-Luigi Ferrari (2009):
Planning and verifying service composition.
Journal of Computer Security 17(5),
pp. 799–837,
doi:10.3233/JCS-2009-0357.
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari & Roberto Zunino (2009):
Local policies for resource usage analysis.
ACM Trans. Program. Lang. Syst. 31(6),
doi:10.1145/1552309.1552313.
Dave Clarke & Ilya Sergey (2009):
A semantics for context-oriented programming with layers.
In: International Workshop on Context-Oriented Programming,
COP '09.
ACM,
New York, NY, USA,
pp. 10:1–10:6,
doi:10.1145/1562112.1562122.
Pascal Costanza (2005):
Language constructs for context-oriented programming.
In: In Proceedings of the Dynamic Languages Symposium.
ACM Press,
pp. 1–10,
doi:10.1145/1146841.1146842.
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta & Gianluca Mezzetti (2012):
Typing for coordinating Secure Behavioural Variations.
In: Coordination Models and Languages,
Lecture Notes in Computer Science 7274.
Springer,
pp. 261 – 276,
doi:10.1007/978-3-642-30829-1_18.
R. Hirschfeld, A. Igarashi & H. Masuhara (2011):
ContextFJ: a minimal core calculus for context-oriented programming.
In: Proceedings of the 10th international workshop on Foundations of aspect-oriented languages.
ACM,
pp. 19–23,
doi:10.1145/1960510.1960515.
Robert Hirschfeld, Pascal Costanza & Oscar Nierstrasz (2008):
Context-Oriented Programming.
Journal of Object Technology, March-April 2008, ETH Zurich 7(3),
pp. 125–151,
doi:10.5381/jot.2008.7.3.a4.
Kohei Honda, Vasco Thudichum Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Discipline for Structured Communication-Based Programming.
In: Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems.
Springer-Verlag,
London, UK,
pp. 122–138,
doi:10.1007/BFb0053567.
Atsushi Igarashi, Benjamin C. Pierce & Philip Wadler (2001):
Featherweight Java: a minimal core calculus for Java and GJ.
ACM Trans. Program. Lang. Syst. 23,
pp. 396–450,
doi:10.1145/503502.503505.
eptcs@eptcs.org