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 条
  • [31] Safe and reliable use of concurrency in multi-threaded shared-memory systems
    Stirewalt, REK
    Behrends, R
    Dillon, LK
    29th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2005, : 201 - 210
  • [32] An event-based structural operational semantics of multi-threaded java
    Cenciarelli, Pietro
    Knapp, Alexander
    Reus, Bernhard
    Wirsing, Martin
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1999, 1523 : 157 - 200
  • [33] Secure, real-time and multi-threaded general-purpose embedded Java']Java microarchitecture
    Zabel, Martin
    Preusser, Thomas B.
    Reichel, Peter
    Spallek, Rainer G.
    DSD 2007: 10TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN ARCHITECTURES, METHODS AND TOOLS, PROCEEDINGS, 2007, : 59 - 62
  • [34] Platform-Specific Restrictions on Concurrency in Model Checking of Java']Java Programs
    Parizek, Pavel
    Kalibera, Tomas
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5825 : 117 - 132
  • [35] Development of 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
  • [36] Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications
    Robert J. Hall
    Automated Software Engineering, 2005, 12 (4) : 415 - 446
  • [37] Parallel and Distributed Bounded Model Checking of Multi-threaded Programs
    Inverso, Omar
    Trubiani, Catia
    PROCEEDINGS OF THE 25TH ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING (PPOPP '20), 2020, : 202 - 216
  • [38] Dynamically Translating Binary Code for Multi-Threaded Programs Using Shared Code Cache
    Chia-Lun Liu
    Jiunn-Yeu Chen
    Wuu Yang
    Wei-Chung Hsu
    Journal of Electronic Science and Technology, 2014, 12 (04) : 434 - 438
  • [39] Model-Checking Secure Information Flow for Multi-threaded Programs
    Huisman, Marieke
    Blondeel, Henri-Charles
    THEORY OF SECURITY AND APPLICATIONS, 2012, 6993 : 148 - +
  • [40] Fault Localization in Multi-Threaded C Programs using Bounded Model Checking
    Alves, Erickson H. da S.
    Cordeiro, Lucas C.
    de Lima Filho, Eddie B.
    2015 BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC), 2015, : 96 - 101
12345