Logic of multi-threaded programs for non-interference

被引：0
|
作者：
Li, Qin [1 ]
Zeng, Qing-Kai [2 ,3 ]
Yuan, Zhi-Xiang [1 ]
机构：
[1] School of Computer, Anhui University of Technology, Maanshan 243032, China
[2] State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210023, China
[3] Department of Computer Science and Technology, Nanjing University, Nanjing 210023, China
来源：
Ruan Jian Xue Bao/Journal of Software | 2014年 / 25卷 / 06期
关键词：
D O I：
10.13328/j.cnki.jos.004429
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1143 / 1153
相关论文
共 50 条
  • [41] Safe and Timely Dynamic Updates for Multi-threaded Programs
    Neamtiu, Iulian
    Hicks, Michael
    [J]. ACM SIGPLAN NOTICES, 2009, 44 (06) : 13 - 24
  • [42] Information Flow Security of Multi-Threaded Distributed Programs
    Focardi, Riccardo
    Centenaro, Matteo
    [J]. PLAS'08: PROCEEDINGS OF THE ACM SIGPLAN THIRD WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2008, : 113 - 124
  • [43] Complexity and information flow analysis for multi-threaded programs
    Tri Minh Ngo
    Marieke Huisman
    [J]. The European Physical Journal Special Topics, 2017, 226 : 2375 - 2392
  • [44] Safe and Timely Dynamic Updates for Multi-threaded Programs
    Neamtiu, Iulian
    Hicks, Michael
    [J]. PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 13 - 24
  • [45] On the Existence of Probe Effect in Multi-threaded Embedded Programs
    Song, Young Wn
    Lee, Yann-Hang
    [J]. 2014 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2014,
  • [46] Predicate Abstraction and Refinement for Verifying Multi-Threaded Programs
    Gupta, Ashutosh
    Popeea, Corneliu
    Rybalchenko, Andrey
    [J]. POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2011, : 331 - 344
  • [47] A replay system for performance analysis of multi-threaded programs
    Key Laboratory of Services Computing Technology and System, Ministry of Education, Huazhong University of Science and Technology, Wuhan
    430074, China
    [J]. Jisuanji Yanjiu yu Fazhan, 1 (45-55):
  • [48] Framework for testing multi-threaded Java']Java programs
    Edelstein, O
    Farchi, E
    Goldin, E
    Nir, Y
    Ratsaby, G
    Ur, S
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2003, 15 (3-5): : 485 - 499
  • [49] Automated Certification of Non-Interference in Rewriting Logic
    Alba-Castro, Mauricio
    Alpuente, Maria
    Escobar, Santiago
    [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5596 : 182 - 198
  • [50] Input-driven Active Testing of Multi-threaded Programs
    Yue, Han
    Wu, Peng
    Chen, Tsong-Yueh
    Lv, Yi
    [J]. 2015 22ND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2015), 2015, : 246 - 253
12345