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 条
  • [1] A shared-variable concurrency analysis of multi-threaded object-oriented programs
    de Boer, F. S.
    THEORETICAL COMPUTER SCIENCE, 2009, 410 (2-3) : 128 - 141
  • [2] On testing multi-threaded Java']Java programs
    Gong, Xufang
    Wang, Yanchen
    Zhou, Ying
    Li, Bixin
    SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 1, PROCEEDINGS, 2007, : 702 - +
  • [3] MuTT: a Multi-Threaded Tracer for Java']Java Programs
    Liu, Dapeng
    Xu, Shaochun
    PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, 2009, : 949 - +
  • [4] Model-checking multi-threaded distributed Java']Java programs
    Stoller, SD
    SPIN MODEL CHECKING AND SOFTWARE VERIFICATON, 2000, 1885 : 224 - 244
  • [5] Framework for testing multi-threaded Java']Java programs
    Edelstein, O
    Farchi, E
    Goldin, E
    Nir, Y
    Ratsaby, G
    Ur, S
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2003, 15 (3-5): : 485 - 499
  • [6] Model-checking multi-threaded distributed Java programs
    Stoller S.D.
    International Journal on Software Tools for Technology Transfer, 2002, 4 (01) : 71 - 91
  • [7] An integrated regression testing framework to multi-threaded Java']Java programs
    Li, Bixin
    Wang, Yancheng
    Yang, LiLi
    SOFTWARE ENGINEERING TECHNIQUES: DESIGN FOR QUALITY, 2006, 227 : 237 - +
  • [8] A scalable architecture for multi-threaded JAVA']JAVA applications
    Mrva, M
    Buchenrieder, K
    Kress, R
    DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 868 - 874
  • [9] Safe locking for multi-threaded Java']Java with exceptions
    Johnsen, Einar Broch
    Thi Mai Thuong Tran
    Owe, Olaf
    Steffen, Martin
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (03): : 257 - 283
  • [10] Proposal of a Testing Method Using Similarity of Interleaving for Java']Java Multi-threaded Programs
    Katayama, Tetsuro
    Kitano, Shoichiro
    Kita, Yoshihiro
    Yamaba, Hisaaki
    Aburada, Kentaro
    Okazaki, Naonobu
    JOURNAL OF ROBOTICS NETWORKING AND ARTIFICIAL LIFE, 2015, 1 (04): : 299 - 302
12345