[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/2637066.2637073acmconferencesArticle/Chapter ViewAbstractPublication PagesecoopConference Proceedingsconference-collections
tutorial

Towards Type-Safe JCop: A type system for layer inheritance and first-class layers

Published: 28 July 2014 Publication History

Abstract

This paper describes a type system for JCop, which is an extension of Java with language mechanisms for context-oriented programming. A simple type system as in Java, however, is not sufficient to prevent errors due to the absence of invoked methods because interfaces of objects can change at run time by dynamic layer composition, a characteristic feature of context-oriented programming. Igarashi, Hirschfeld, and Masuhara have studied a type system for dynamic layer composition, but their type system is not directly applicable to JCop due to JCop-specific features such as layer inheritance, first-class layers, and declarative layer composition. We discuss how their type system can be extended to these language features.

References

[1]
M. Appeltauer and R. Hirschfeld. The JCop language specification. Technical report, HPI, University of Potsdam, 2012.
[2]
M. Appeltauer, R. Hirschfeld, and J. Lincke. Declarative layer composition with the JCop programming language. Journal of Object Technology, 12, 2013.
[3]
N. Cardozo, S. González, K. Mens, R. Van Der Straeten, and T. D'Hondt. Modeling and analyzing self-adaptive systems with context petri nets. In Proc. of TASE, pages 191--198. IEEE, 2013.
[4]
P. Costanza and T. D'Hondt. Feature descriptions for context-oriented programming. In SPLC (2), pages 9--14, 2008.
[5]
R. Hirschfeld, P. Costanza, and O. Nierstrasz. Context-oriented programming. Journal of Object Technology, 2008.
[6]
R. Hirschfeld, A. Igarashi, and H. Masuhara. ContextFJ: A minimal core calculus for context-oriented programming. In Proc. of the FOAL2011, pages 19--23, Mar. 2011.
[7]
A. Igarashi, R. Hirschfeld, and H. Masuhara. A type system for dynamic layer composition. In Proc. of FOOL, Oct. 2012.
[8]
A. Igarashi, B. C. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. ACM TOPLAS, 2001.
[9]
H. Inoue. A proof of soundness of type system for dynamic layer composition. Undergraduate honors thesis, Kyoto University, 2013. In Japanese.
[10]
T. Kamina, T. Aotani, and A. Igarashi. On-demand layer activation for type-safe deactivation. In Proc. of COP'14, Uppsala, Sweden, July 2014.
[11]
T. Kamina, T. Aotani, and H. Masuhara. EventCJ: a context-oriented programming language with declarative event-based context transition. In Proc. of ACM AOSD, pages 253--264. ACM, 2011.
[12]
G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An Overview of AspectJ. In Proc. of ECOOP'01, volume 2072 of Springer LNCS, pages 327--353, 2001.

Cited By

View all
  • (2023)A framework for analyzing context-oriented programming languagesJournal of Systems and Software10.1016/j.jss.2023.111614198:COnline publication date: 1-Apr-2023
  • (2021)Towards a framework for analyzing context-oriented programming languagesProceedings of the 13th ACM International Workshop on Context-Oriented Programming and Advanced Modularity10.1145/3464970.3468414(16-23)Online publication date: 12-Jul-2021
  • (2019)TinyCORPProceedings of the 11th ACM International Workshop on Context-Oriented Programming10.1145/3340671.3343356(1-8)Online publication date: 15-Jul-2019
  • Show More Cited By

Index Terms

  1. Towards Type-Safe JCop: A type system for layer inheritance and first-class layers

      Recommendations

      Comments

      Please enable JavaScript to view thecomments powered by Disqus.

      Information & Contributors

      Information

      Published In

      cover image ACM Conferences
      COP '14: Proceedings of 6th ACM International Workshop on Context-Oriented Programming
      July 2014
      52 pages
      ISBN:9781450328616
      DOI:10.1145/2637066
      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 the author(s) 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].

      Sponsors

      In-Cooperation

      • AITO: Assoc Internationale por les Technologies Objects

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      Published: 28 July 2014

      Permissions

      Request permissions for this article.

      Check for updates

      Author Tags

      1. Context-oriented programming
      2. first-class layers
      3. layer inheritance
      4. type systems

      Qualifiers

      • Tutorial
      • Research
      • Refereed limited

      Conference

      ECOOP '14

      Acceptance Rates

      COP '14 Paper Acceptance Rate 8 of 9 submissions, 89%;
      Overall Acceptance Rate 17 of 25 submissions, 68%

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)4
      • Downloads (Last 6 weeks)1
      Reflects downloads up to 11 Dec 2024

      Other Metrics

      Citations

      Cited By

      View all
      • (2023)A framework for analyzing context-oriented programming languagesJournal of Systems and Software10.1016/j.jss.2023.111614198:COnline publication date: 1-Apr-2023
      • (2021)Towards a framework for analyzing context-oriented programming languagesProceedings of the 13th ACM International Workshop on Context-Oriented Programming and Advanced Modularity10.1145/3464970.3468414(16-23)Online publication date: 12-Jul-2021
      • (2019)TinyCORPProceedings of the 11th ACM International Workshop on Context-Oriented Programming10.1145/3340671.3343356(1-8)Online publication date: 15-Jul-2019
      • (2018)Method safety mechanism for asynchronous layer deactivationScience of Computer Programming10.1016/j.scico.2018.01.006156:C(104-120)Online publication date: 1-May-2018
      • (2017)Managing the Context Interaction ProblemCompanion Proceedings of the 1st International Conference on the Art, Science, and Engineering of Programming10.1145/3079368.3079385(1-6)Online publication date: 3-Apr-2017
      • (2016)Context-aware securityJournal of Computer Security10.3233/JCS-16055124:4(427-477)Online publication date: 1-Jan-2016
      • (2016)A Two-Component Language for AdaptationIEEE Transactions on Software Engineering10.1109/TSE.2015.249694142:6(505-529)Online publication date: 1-Jun-2016
      • (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
      • (2015)Method Safety Mechanism for Asynchronous Layer DeactivationProceedings of the 7th ACM International Workshop on Context-Oriented Programming10.1145/2786545.2786550(1-6)Online publication date: 4-Jul-2015
      • (2015)A Sound Type System for Layer Subtyping and Dynamically Activated First-Class LayersProgramming Languages and Systems10.1007/978-3-319-26529-2_24(445-462)Online publication date: 9-Dec-2015
      • Show More Cited By

      View Options

      Login options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Media

      Figures

      Other

      Tables

      Share

      Share

      Share this Publication link

      Share on social media