A sound and complete shared-variable concurrency model for multi-threaded Java']Java programs

被引：0
|
作者：
de Boer, F. S. [1 ]
机构：
[1] CWI, NL-1009 AB Amsterdam, Netherlands
来源：
Formal Methods for Open Object-Based Distributed Systems, Proceedings | 2007年 / 4468卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper we discuss an assertional proof method for multi-threaded Java programs. The method extends the proof theory for sequential Java programs with a generalization of the Owicki/Gries interference freedom test to threads in Java.
引用
收藏
页码：252 / 268
页数：17
相关论文
共 44 条
  • [21] 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):
  • [22] Development of Java']Java multi-threaded simulation for chemical reacting flow of ethanol
    Yamada, E.
    Shimada, T.
    Hayashi, A. K.
    ADVANCES IN ENGINEERING SOFTWARE, 2012, 54 : 17 - 23
  • [23] JaRec: a portable record/replay environment for multi-threaded Java']Java applications
    Georges, A
    Christiaens, M
    Ronsse, M
    De Bosschere, K
    SOFTWARE-PRACTICE & EXPERIENCE, 2004, 34 (06): : 523 - 547
  • [24] A framework for advanced process control and portable multi-threaded implementation in Java']Java
    Jokinen, PA
    ADVANCES IN PROCESS CONTROL 5, 1998, : 79 - 86
  • [25] Implementation of strong mobility for multi-threaded agents in Java
    Chakravarti, A.J.
    Wang, X.
    Hallstrom, J.O.
    Baumgartner, G.
    Proc. Int. Conf. Parallel Process., 1600, (321-330):
  • [26] 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
  • [27] Resource-Aware Scaling of Multi-threaded Java']Java Applications in Multi-tenancy Scenarios
    Simao, Jose
    Rameshan, Navaneeth
    Veiga, Luis
    2013 IEEE FIFTH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), VOL 1, 2013, : 445 - 451
  • [28] CPPROFJ: Aspect-capable call path profiling of multi-threaded Java']Java applications
    Hall, RJ
    ASE 2002: 17TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, 2002, : 107 - 116
  • [29] Understanding the Cost of Thread Migration for Multi-Threaded Java']Java Applications Running on a Multicore Platform
    Teng, Qiming
    Sweeney, Peter F.
    Duesterwald, Evelyn
    ISPASS 2009: IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE, 2009, : 123 - 132
  • [30] A formal study of slicing for multi-threaded programs with JVM concurrency primitives
    Hatcliff, J
    Corbett, J
    Dwyer, M
    Sokolowski, S
    Zheng, HJ
    STATIC ANALYSIS, 1999, 1694 : 1 - 18
12345