SMT-based Debugging Support for Context-oriented Programming

被引：0
|
作者：
机构：
[1] Uchio, Shizuka
[2] Ubayashi, Naoyasu
[3] Kamei, Yasutaka
来源：
Uchio, S. | 1600年 / Japan Society for Software Science and Technology卷 / 29期
关键词：
8;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] CJAdviser: SMT-based debugging support for ContextJ
    Kyushu University, Fukuoka, Japan
    Proc. Int. Workshop Context-Oriented Program., COP - Co-located Eur. Conf. Object-Oriented Program., ECOOP, 1600,
  • [2] Context-oriented Programming
    Hirschfeld, Robert
    Costanza, Pascal
    Nierstrasz, Oscar
    JOURNAL OF OBJECT TECHNOLOGY, 2008, 7 (03): : 125 - 151
  • [3] Context-Oriented Behavioral Programming
    Elyasaf, Achiya
    Information and Software Technology, 2021, 133
  • [4] Evaluation of Cardinality Constraints on SMT-based Debugging
    Suelflow, Andre
    Wille, Robert
    Fey, Goerschwin
    Drechsler, Rolf
    ISMVL: 2009 39TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, 2009, : 298 - 303
  • [5] Context-Oriented Behavioral Programming
    Elyasaf, Achiya
    INFORMATION AND SOFTWARE TECHNOLOGY, 2021, 133
  • [6] An Introduction to Context-Oriented Programming with ContextS
    Hirschfeld, Robert
    Costanza, Pascal
    Haupt, Michael
    GENERATIVE AND TRANSFORMATIONAL TECHNIQUES IN SOFTWARE ENGINEERING II, 2008, 5235 : 396 - +
  • [7] Towards a DevOps Modeling Based on Context-Oriented Programming
    Watanabe, Harumi
    Ogura, Nobuhiko
    Hisazumi, Kenji
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, PROGRAMMING COMPANION 2024, 2024, : 6 - 7
  • [8] Implementation of a Feature-Based Context-Oriented Programming Language
    Duhoux, Benoit
    Mens, Kim
    Dumas, Bruno
    PROCEEDINGS OF THE WORKSHOP ON CONTEXT-ORIENTED PROGRAMMING (COP'19), 2019, : 9 - 16
  • [9] TinyCORP: A Calculus for Context-Oriented Reactive Programming
    Kamina, Tetsuo
    Aotani, Tomoyuki
    PROCEEDINGS OF THE WORKSHOP ON CONTEXT-ORIENTED PROGRAMMING (COP'19), 2019, : 1 - 8
  • [10] A framework for analyzing context-oriented programming languages?
    Elyasaf, Achiya
    Cardozo, Nicolas
    Sturm, Arnon
    JOURNAL OF SYSTEMS AND SOFTWARE, 2023, 198
12345