ContextFJ: A minimal core calculus for context-oriented programming

Proceedings of the 10th International Workshop on Foundations of Aspect-Oriented Languages, FOAL 2011

Volumn , Issue , 2011, Pages 19-23

  Hirschfeld, Robert ^a   Igarashi, Atsushi ^b   Masuhara, Hidehiko ^c  

^a UNIVERSITY OF POTSDAM   (Germany)

^b KYOTO UNIVERSITY   (Japan)

^c UNIVERSITY OF TOKYO   (Japan)

Author keywords

Context oriented programming; Operational semantics

Indexed keywords

CONTEXT-ORIENTED PROGRAMMING; CORE CALCULUS; FORMAL MODEL; MODEL LANGUAGES; OPERATIONAL SEMANTICS; SIMPLE TYPES;

CALCULATIONS; SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 79955152061     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1960510.1960515     Document Type: Conference Paper

References (14)

1. 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.
2. Malte Appeltauer, Robert Hirschfeld, Michael Haupt, and Hidehiko Masuhara. ContextJ: Context-oriented programming with Java. Computer Software, 28(1):272-292, January 2011.
3. Don Batory, Jacob Neal Sarvela, and Axel Rauschmayer. Scaling step- wise refinement. TSE, 2004. doi:10.1109/TSE.2004.23.
4. Pascal Costanza and Robert Hirschfeld. Language constructs for context-oriented programming - an overview of ContextL. In DLS, 2005. doi:10.1145/1146841.1146842.
5. Benjamin Delaware, William Cook, and Don Batory. A machine-checked model of safe composition. In FOAL, 2009. doi:10.1145/1509837.1509846.
6. Robert Hirschfeld, Pascal Costanza, and Michael Haupt. An introduction to context-oriented programming with ContextS. In GTTSE, 2008.
7. Robert Hirschfeld, Pascal Costanza, and Oscar Nierstrasz. Context-oriented programming. JOT, 2008.
8. 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. (Pubitemid 33614273)
9. 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).
10. 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.
11. 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.
12. Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, and Nico Tanzarella. Delta-oriented programming of software product lines. In SPLC, 2010.
13. Ina Schaefer, Lorenzo Bettini, and Ferruccio Damiani. Compositional type-checking for delta-oriented programming. In AOSD, 2011. (to appear).
14. Hans Schippers, Dirk Janssens, Michael Haupt, and Robert Hirschfeld. Delegation-based semantics for modularizing crosscutting concerns. In OOPSLA, 2008. doi:10.1145/1449764.1449806.