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 条
  • [1] Static conflict analysis for multi-threaded object-oriented programs
    von Praun, C
    Gross, TR
    ACM SIGPLAN NOTICES, 2003, 38 (05) : 115 - 128
  • [2] A shared-variable concurrency analysis of multi-threaded object-oriented programs
    de Boer, F. S.
    THEORETICAL COMPUTER SCIENCE, 2009, 410 (2-3) : 128 - 141
  • [3] An object-oriented multi-threaded software beamformation toolbox
    Hansen, Jens Munk
    Hemmsen, Martin Christian
    Jensen, Jorgen Arendt
    MEDICAL IMAGING 2011: ULTRASONIC IMAGING, TOMOGRAPHY, AND THERAPY, 2011, 7968
  • [4] Selective checkpointing and rollbacks in multi-threaded object-oriented environment
    Kasbekar, M
    Narayanan, C
    Das, CR
    IEEE TRANSACTIONS ON RELIABILITY, 1999, 48 (04) : 325 - 337
  • [5] Object-oriented design message control multi-threaded execution
    Tongyoo, T.
    Chutchavong, V.
    Sangaroon, O.
    2006 SICE-ICASE INTERNATIONAL JOINT CONFERENCE, VOLS 1-13, 2006, : 6073 - +
  • [6] Modelling of a multi-threaded processor pipeline using object-oriented Petri nets
    Ziegler, P
    Szczerbicka, H
    ESS'98 - SIMULATION TECHNOLOGY: SCIENCE AND ART, 1998, : 200 - 207
  • [7] Applying static analysis to large-scale, multi-threaded Java programs
    Swiss Federal Institute of Technology, Institute of Computer Systems, ETH Zentrum, RZ H, Zürich
    CH-8092, Switzerland
    Proc Aust Software Eng Conf ASWEC, (68-75):
  • [8] Quantitative Analysis of Leakage for Multi-threaded Programs
    Chen, Han
    Malacaria, Pasquale
    PLAS'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2007, : 31 - 40
  • [9] Quantitative Security Analysis for Multi-threaded Programs
    Ngo, Tri Minh
    Huisman, Marieke
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (117): : 34 - 48
  • [10] Dynamic deadlock analysis of multi-threaded programs
    Bensalem, Saddek
    Havelund, Klaus
    HARDWARE AND SOFTWARE VERIFICATION AND TESTING, 2006, 3875 : 208 - 223
12345