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 条
  • [31] On interleaving space exploration of multi-threaded programs
    Dongjie Chen
    Yanyan Jiang
    Chang Xu
    Xiaoxing Ma
    Frontiers of Computer Science, 2021, 15
  • [32] On interleaving space exploration of multi-threaded programs
    Dongjie CHEN
    Yanyan JIANG
    Chang XU
    Xiaoxing MA
    Frontiers of Computer Science, 2021, (04) : 1 - 12
  • [33] Verifying multi-threaded C programs with SPIN
    Zaks, Anna
    Joshi, Rajeev
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2008, 5156 : 325 - +
  • [34] On interleaving space exploration of multi-threaded programs
    Chen, Dongjie
    Jiang, Yanyan
    Xu, Chang
    Ma, Xiaoxing
    FRONTIERS OF COMPUTER SCIENCE, 2021, 15 (04)
  • [35] Partial Redundancy Elimination for Multi-threaded Programs
    El-Zawawy, Mohamed A.
    Nayel, Hamada A.
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2011, 11 (10): : 127 - 133
  • [36] A Tool to Compute the Leakage of Multi-threaded Programs
    Tri Minh Ngo
    Quang Tuan Duong
    MODERN APPROACHES FOR INTELLIGENT INFORMATION AND DATABASE SYSTEMS, 2018, 769 : 527 - 537
  • [37] Compositional Termination Proofs for Multi-threaded Programs
    Popeea, Corneliu
    Rybalchenko, Andrey
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012, 2012, 7214 : 237 - 251
  • [38] Reduction for Compositional Verification of Multi-Threaded Programs
    Popeea, Corneliu
    Rybalchenko, Andrey
    Wilhelm, Andreas
    2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 187 - 194
  • [39] A generic approach to the security of multi-threaded programs
    Mantel, H
    Sabelfeld, A
    14TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2001, : 126 - 142
  • [40] Effective verification of confidentiality for multi-threaded programs
    Ngo, Tri Minh
    Stoelinga, Marielle
    Huisman, Marieke
    JOURNAL OF COMPUTER SECURITY, 2014, 22 (02) : 269 - 300
12345