Static conflict analysis for multi-threaded object-oriented programs

被引：0
|
作者：
Von Praun, Christoph [1 ]
Gross, Thomas R. [1 ]
机构：
[1] Laboratory for Software Technology, ETH Zürich, 8092 Zürich, Switzerland
来源：
ACM SIGPLAN Not. | 1600年 / 5卷 / 115-128期
关键词：
Compendex;
D O I：
Proceedings of the ACM Sigplan 2003 Conference on Programming Language Design and Implementation
中图分类号：
学科分类号：
摘要：
Data structures - Graph theory - Java programming language - Object oriented programming - Program diagnostics - Response time (computer systems)
引用
收藏
相关论文
共 50 条
  • [41] Analyzing the Impact of Change in Multi-threaded Programs
    Chatterjee, Krishnendu
    de Alfaro, Luca
    Raman, Vishwanath
    Sanchez, Cesar
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2010, 6013 : 293 - +
  • [42] Sound Predictive Fuzzing for Multi-threaded Programs
    Guo, Yuqi
    Liang, Zheheng
    Zhu, Shihao
    Wang, Jinqiu
    Yang, Zijiang
    Shen, Wuqiang
    Zhang, Jinbo
    Cai, Yan
    2023 IEEE 47TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE, COMPSAC, 2023, : 810 - 819
  • [43] Lost in abstraction: Monotonicity in multi-threaded programs
    Kaiser, Alexander
    Kroening, Daniel
    Wahl, Thomas
    INFORMATION AND COMPUTATION, 2017, 252 : 30 - 47
  • [44] BUNDLEP: Prioritizing Conflict Free Regions in Multi-Threaded Programs to Improve Cache Reuse
    Tessler, Corey
    Fisher, Nathan
    2018 39TH IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2018), 2018, : 325 - 337
  • [45] Change impact analysis for object-oriented programs
    Ryder, B.G.
    Tip, F.
    ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2001, : 46 - 53
  • [46] Change impact analysis for object-oriented programs
    Ryder, BG
    Tip, F
    ACM SIGPLAN NOTICES, 2001, : 46 - 53
  • [47] Completeness analysis for incomplete object-oriented programs
    Xue, JL
    Nguyen, PH
    COMPILER CONSTRUCTION, PROCEEDINGS, 2005, 3443 : 271 - 286
  • [48] Cost analysis of object-oriented bytecode programs
    Albert, Elvira
    Arenas, Puri
    Genaim, Samir
    Puebla, German
    Zanardini, Damiano
    THEORETICAL COMPUTER SCIENCE, 2012, 413 (01) : 142 - 159
  • [49] Design and implementation of multi-threaded object request broker
    Chang, YS
    Lo, W
    Wang, CJ
    Yuan, SM
    Liang, DR
    1998 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1998, : 740 - 747
  • [50] A Dynamic Logic for deductive verification of multi-threaded programs
    Beckert, Bernhard
    Klebanov, Vladimir
    FORMAL ASPECTS OF COMPUTING, 2013, 25 (03) : 405 - 437
12345