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.
- Sven Apel, Christian Kästner, and Christian Lengauer. Feature Featherweight Java: a calculus for feature-oriented programming and step-wise refinement. In GPCE, 2008. doi:10.1145/1449913.1449931. Google ScholarDigital Library
- Malte Appeltauer, Robert Hirschfeld, Michael Haupt, and Hidehiko Masuhara. ContextJ: Context-oriented programming with Java. Computer Software, 28(1):272--292, January 2011.Google Scholar
- Don Batory, Jacob Neal Sarvela, and Axel Rauschmayer. Scaling step-wise refinement. TSE, 2004. doi:10.1109/TSE.2004.23.Google ScholarDigital Library
- Pascal Costanza and Robert Hirschfeld. Language constructs for context-oriented programming - an overview of ContextL. In DLS, 2005. doi:10.1145/1146841.1146842. Google ScholarDigital Library
- Benjamin Delaware, William Cook, and Don Batory. A machine-checked model of safe composition. In FOAL, 2009. doi:10.1145/1509837.1509846. Google ScholarDigital Library
- Robert Hirschfeld, Pascal Costanza, and Michael Haupt. An introduction to context-oriented programming with ContextS. In GTTSE, 2008. Google ScholarDigital Library
- Robert Hirschfeld, Pascal Costanza, and Oscar Nierstrasz. Context-oriented programming. JOT, 2008.Google ScholarCross Ref
- Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Feather-weight Java: A minimal core calculus for Java and GJ. TOPLAS, 2001. doi:10.1145/503502.503505. Google ScholarDigital Library
- Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara. EventCJ: A context-oriented programming language with declarative event-based context transition. In Proc. of AOSD, 2011. (to appear). Google ScholarDigital Library
- Jens Lincke, Malte Appeltauer, Bastian Steinert, and Robert Hirschfeld. An open implementation for context-oriented layer composition in ContextJS. SCP, 2010. doi:10.1016/j.scico.2010.11.013. Google ScholarDigital Library
- Tim Molderez, Hans Schippers, Dirk Janssens, Michael Haupt, and Robert Hirschfeld. A platform for experimenting with language constructs for modularizing crosscutting concerns. In WASDeTT, 2010.Google Scholar
- Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, and Nico Tanzarella. Delta-oriented programming of software product lines. In SPLC, 2010. Google ScholarDigital Library
- Ina Schaefer, Lorenzo Bettini, and Ferruccio Damiani. Compositional type-checking for delta-oriented programming. In AOSD, 2011. (to appear). Google ScholarDigital Library
- Hans Schippers, Dirk Janssens, Michael Haupt, and Robert Hirschfeld. Delegation-based semantics for modularizing crosscutting concerns. In OOPSLA, 2008. doi:10.1145/1449764.1449806. Google ScholarDigital Library
Index Terms
- ContextFJ: a minimal core calculus for context-oriented programming
Recommendations
Two Formal Semantics of a Subset of the AADL
ICECCS '11: Proceedings of the 2011 16th IEEE International Conference on Engineering of Complex Computer SystemsThe analysis and verification of an AADL model usually requires its transformation into the meta-model of this model-checker or that schedulability analysis tool. However, one challenging problem is to prove that the transformation into the target model ...
Full Abstractness of a Metric Semantics for Action Refinement
For a process language with action refinement and synchronization both an operational and a denotational semantics are given. The operational semantics is based on an SOS-style transition system specification involving syntactical refinement sequences. ...
Correct metric semantics for a language inspired by DNA computing
We investigate a language similar to a process algebra introduced by Cardelli for DNA computing. For such a language, we relate two formal semantics. We define a new denotational semantics by using complete metric spaces, in which various semantic ...
Comments