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 条
  • [31] Context-oriented image retrieval
    O'Sullivan, D
    McLoughlin, E
    Bertolotto, M
    Wilson, D
    MODELING AND USING CONTEXT, PROCEEDINGS, 2005, 3554 : 339 - 352
  • [32] Context-oriented and transaction-based service provisioning
    ICT Department, The Open University, Milton Keynes MK7 6AA, United Kingdom
    不详
    Int. J. Web Grid. Serv., 2007, 2 (194-218):
  • [33] Extending Omniscient Debugging to Support Aspect-Oriented Programming
    Pothier, Guillaume
    Tanter, Eric
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 266 - 270
  • [34] Personalized Context-Oriented Support for Interactions between Production Networks Members
    Smirnov, A. V.
    Shilov, N. G.
    Kashevnik, A. M.
    SCIENTIFIC AND TECHNICAL INFORMATION PROCESSING, 2010, 37 (06) : 377 - 385
  • [35] TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action Programming
    Chen, Liangyu
    Wang, Chen
    Chen, Cheng
    Huang, Caidie
    Chen, Xiaohong
    Zhang, Min
    IEEE INTERNET OF THINGS JOURNAL, 2024, 11 (12): : 21411 - 21426
  • [36] Proceedings of the 12th InternationalWorkshop on Context-Oriented Programming and Advanced Modularity
    Proceedings of the 12th International Workshop on Context-Oriented Programming and Advanced Modularity, COP 2020, 2020,
  • [37] A Context-Oriented Extension of F#
    Canciani, Andrea
    Degano, Pierpaolo
    Ferrari, Gian-Luigi
    Galletta, Letterio
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (201): : 18 - 32
  • [38] SMT-Based Verification of NGAC Policies
    Duhrovenski, Vladislav
    Chen, Erzhuo
    Xu, Dianxiang
    2023 IEEE 47TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE, COMPSAC, 2023, : 860 - 869
  • [39] An SMT-Based Approach to Coverability Analysis
    Esparza, Javier
    Ledesma-Garza, Ruslan
    Majumdar, Rupak
    Meyer, Philipp
    Niksic, Filip
    COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 603 - 619
  • [40] Context-Oriented Knowledge Management for Intelligent Museum Visitors Support Ontological approach
    Smirnov, Alexander
    Shilov, Nikolay
    Kashevnik, Alexey
    PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON ADVANCES IN FUTURE INTERNET (AFIN 2011), 2011, : 120 - 125
12345