research-article

ContextFJ: a minimal core calculus for context-oriented programming

Authors:

Robert Hirschfeld,

Atsushi Igarashi,

Hidehiko MasuharaAuthors Info & Claims

FOAL '11: Proceedings of the 10th international workshop on Foundations of aspect-oriented languages

Pages 19 - 23

https://doi.org/10.1145/1960510.1960515

Published: 21 March 2011 Publication History

Get Access

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.

References

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

Digital Library

Google Scholar

[2]

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

[3]

Don Batory, Jacob Neal Sarvela, and Axel Rauschmayer. Scaling step-wise refinement. TSE, 2004.

Digital Library

Google Scholar

[4]

Pascal Costanza and Robert Hirschfeld. Language constructs for context-oriented programming - an overview of ContextL. In DLS, 2005.

Digital Library

Google Scholar

[5]

Benjamin Delaware, William Cook, and Don Batory. A machine-checked model of safe composition. In FOAL, 2009.

Digital Library

Google Scholar

[6]

Robert Hirschfeld, Pascal Costanza, and Michael Haupt. An introduction to context-oriented programming with ContextS. In GTTSE, 2008.

Digital Library

Google Scholar

[7]

Robert Hirschfeld, Pascal Costanza, and Oscar Nierstrasz. Context-oriented programming. JOT, 2008.

Crossref

Google Scholar

[8]

Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Feather-weight Java: A minimal core calculus for Java and GJ. TOPLAS, 2001.

Digital Library

Google Scholar

[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).

Digital Library

Google Scholar

[10]

Jens Lincke, Malte Appeltauer, Bastian Steinert, and Robert Hirschfeld. An open implementation for context-oriented layer composition in ContextJS. SCP, 2010.

Digital Library

Google Scholar

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

Google Scholar

[12]

Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, and Nico Tanzarella. Delta-oriented programming of software product lines. In SPLC, 2010.

Digital Library

Google Scholar

[13]

Ina Schaefer, Lorenzo Bettini, and Ferruccio Damiani. Compositional type-checking for delta-oriented programming. In AOSD, 2011. (to appear).

Digital Library

Google Scholar

[14]

Hans Schippers, Dirk Janssens, Michael Haupt, and Robert Hirschfeld. Delegation-based semantics for modularizing crosscutting concerns. In OOPSLA, 2008.

Digital Library

Google Scholar

Cited By

View all

Kamina TAotani T(2019)TinyCORPProceedings of the 11th ACM International Workshop on Context-Oriented Programming10.1145/3340671.3343356(1-8)Online publication date: 15-Jul-2019
https://dl.acm.org/doi/10.1145/3340671.3343356
Inoue HIgarashi A(2019)A type system for first-class layers with inheritance, subtyping, and swappingScience of Computer Programming10.1016/j.scico.2019.03.008Online publication date: Apr-2019
https://doi.org/10.1016/j.scico.2019.03.008
Duhoux BMens KDumas B(2018)Feature VisualiserProceedings of the 10th ACM International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition10.1145/3242921.3242924(15-22)Online publication date: 16-Jul-2018
https://dl.acm.org/doi/10.1145/3242921.3242924
Show More Cited By

Index Terms

ContextFJ: a minimal core calculus for context-oriented programming
1. Software and its engineering
  1. Software notations and tools
    1. Formal language definitions
    2. General programming languages
      1. Language features
2. Theory of computation
  1. Formal languages and automata theory

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 Systems

The 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

Information & Contributors

Information

Published In

FOAL '11: Proceedings of the 10th international workshop on Foundations of aspect-oriented languages

March 2011

40 pages

ISBN:9781450306447

DOI:10.1145/1960510

Program Chair:
Hridesh Rajan
Iowa State University

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

Centro de Informatica - UFPE: Centro de Informatica - UFPE
SIGPLAN: ACM Special Interest Group on Programming Languages
CAPES: Coordençãao de Aperfeiçoamento de Pessoal de Nível Superior
SIGSOFT: ACM Special Interest Group on Software Engineering
CNPq: Conselho Nacional de Desenvolvimento Cientifico e Tecn
FINEP: Financiadora de Estudos e Projetos
PUC-Rio
FACEPE: Fundacao de Amparo a Ciencia e Tecnologia do Estado de Pernambuco

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 March 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

AOSD'11

AOSD'11: Tenth International Conference on Aspect-Oriented Software Development

March 21, 2011

Porto de Galinhas, Brazil

Acceptance Rates

Overall Acceptance Rate 5 of 6 submissions, 83%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

30
Total Citations
View Citations
160
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)1

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kamina TAotani T(2019)TinyCORPProceedings of the 11th ACM International Workshop on Context-Oriented Programming10.1145/3340671.3343356(1-8)Online publication date: 15-Jul-2019
https://dl.acm.org/doi/10.1145/3340671.3343356
Inoue HIgarashi A(2019)A type system for first-class layers with inheritance, subtyping, and swappingScience of Computer Programming10.1016/j.scico.2019.03.008Online publication date: Apr-2019
https://doi.org/10.1016/j.scico.2019.03.008
Duhoux BMens KDumas B(2018)Feature VisualiserProceedings of the 10th ACM International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition10.1145/3242921.3242924(15-22)Online publication date: 16-Jul-2018
https://dl.acm.org/doi/10.1145/3242921.3242924
Bodei CDegano PGalletta LSalvatori F(2016)Context-aware security: Linguistic mechanisms and static analysisJournal of Computer Security10.3233/JCS-16055124:4(427-477)Online publication date: 16-Aug-2016
https://doi.org/10.3233/JCS-160551
Degano PFerrari GGalletta L(2016)A Two-Component Language for AdaptationIEEE Transactions on Software Engineering10.1109/TSE.2015.249694142:6(505-529)Online publication date: 1-Jun-2016
https://dl.acm.org/doi/10.1109/TSE.2015.2496941
Kamina TAotani TMasuhara H(2016)Generalized Layer Activation Mechanism for Context-Oriented ProgrammingTransactions on Modularity and Composition I10.1007/978-3-319-46969-0_4(123-166)Online publication date: 30-Sep-2016
https://doi.org/10.1007/978-3-319-46969-0_4
Basile DGalletta LMezzetti G(2015)Safe Adaptation Through Implicit Effect CoercionEssays Dedicated to Pierpaolo Degano on Programming Languages with Applications to Biology and Security - Volume 946510.5555/2963891.2963901(122-141)Online publication date: 1-Aug-2015
https://dl.acm.org/doi/10.5555/2963891.2963901
El-Zawawy M(2015)Testing automation of context-oriented programs using separation logicApplied Computational Intelligence and Soft Computing10.1155/2014/9301862014(23-23)Online publication date: 1-Jan-2015
https://dl.acm.org/doi/10.1155/2014/930186
Aotani TKamina TMasuhara H(2015)Type-Safe Layer-Introduced Base Functions with Imperative Layer ActivationProceedings of the 7th ACM International Workshop on Context-Oriented Programming10.1145/2786545.2786553(1-7)Online publication date: 4-Jul-2015
https://dl.acm.org/doi/10.1145/2786545.2786553
Kamina TAotani TMasuhara HFrance RGhosh SLeavens G(2015)Generalized layer activation mechanism through contexts and subscribersProceedings of the 14th International Conference on Modularity10.1145/2724525.2724570(14-28)Online publication date: 16-Mar-2015
https://dl.acm.org/doi/10.1145/2724525.2724570
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Two Formal Semantics of a Subset of the AADL

Full Abstractness of a Metric Semantics for Action Refinement

Correct metric semantics for a language inspired by DNA computing

Comments

Information

Published In

In-Cooperation

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations