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 条
  • [11] Towards Runtime Adaptation in Context-Oriented Programming
    Han, Bo
    Zhao, Yinliang
    Zhu, Changpeng
    Zeng, Qinghua
    2013 10TH INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING, COMPUTING SCIENCE AND AUTOMATIC CONTROL (CCE), 2013, : 201 - 208
  • [12] Context-Oriented Programming with the Ambient Object System
    Gonzalez, Sebastian
    Mens, Kim
    Cadiz, Alfredo
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (20) : 3307 - 3332
  • [13] Context-oriented programming: A software engineering perspective
    Salvaneschi, Guido
    Ghezzi, Carlo
    Pradella, Matteo
    JOURNAL OF SYSTEMS AND SOFTWARE, 2012, 85 (08) : 1801 - 1817
  • [14] Prototype of FPGA Dynamic Reconfiguration based-on Context-Oriented Programming
    Ohkawa, Takeshi
    Tanigawa, Ikuta
    Sato, Mikiko
    Hisazumi, Kenji
    Ogura, Nobuhiko
    Watanabe, Harumi
    2019 IEEE 13TH INTERNATIONAL SYMPOSIUM ON EMBEDDED MULTICORE/MANY-CORE SYSTEMS-ON-CHIP (MCSOC 2019), 2019, : 116 - 122
  • [15] Push-based Reactive Layer Activation in Context-Oriented Programming
    Kamina, Tetsuo
    Aotani, Tomoyuki
    Masuhara, Hidehiko
    PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON CONTEXT-ORIENTED PROGRAMMING, 2017, : 17 - 21
  • [16] Layer Modeling and Its Code Generation based on Context-oriented Programming
    Yamamoto, Chinatsu
    Tanigawa, Ikuta
    Hisazumi, Kenji
    Sato, Mikiko
    Ohkawa, Takeshi
    Ogura, Nobuhiko
    Watanabe, Harumi
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2021, : 330 - 336
  • [17] Mobile context-oriented platform for learning support
    Budina, J.
    Klapka, O.
    Zmitko, M.
    2015 13TH INTERNATIONAL CONFERENCE ON EMERGING ELEARNING TECHNOLOGIES AND APPLICATIONS (ICETA), 2015, : 51 - 57
  • [18] Reconciling Context-Oriented Programming and User Interface Adaptation
    Duhoux, Benoit
    PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'18), 2018,
  • [19] JavaCtx: Seamless toolchain integration for context-oriented programming
    Salvaneschi, Guido
    Ghezzi, Carlo
    Pradella, Matteo
    Proceedings of the 3rd International Workshop on Context-Oriented Programming, COP'11 - Co-located with the 25th European Conference on Object-Oriented Programming, ECOOP 2011, 2011,
  • [20] ReactCOP: Modular and ScalableWeb Development with Context-Oriented Programming
    Lorenz, David H.
    Shmuel, Ofir
    COMPANION PROCEEDINGS OF THE 2023 ACM SIGPLAN INTERNATIONAL CONFERENCE ON SYSTEMS, PROGRAMMING, LANGUAGES, AND APPLICATIONS: SOFTWARE FOR HUMANITY, SPLASH COMPANION 2023, 2023, : 63 - 64
12345