A GENERALIZATION OF OWICKI-GRIES HOARE LOGIC FOR A CONCURRENT WHILE LANGUAGE

被引：22
|
作者：
STIRLING, C
机构：
来源：
THEORETICAL COMPUTER SCIENCE | 1988年 / 58卷 / 1-3期
关键词：
D O I：
10.1016/0304-3975(88)90033-3
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
11
引用
收藏
页码：347 / 359
页数：13
相关论文
共 30 条
  • [1] Owicki-Gries Reasoning for Weak Memory Models
    Lahav, Ori
    Vafeiadis, Viktor
    AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II, 2015, 9135 : 311 - 323
  • [2] Ownership-Based Owicki-Gries Reasoning
    Semenyuk, Mikhail
    Dongol, Brijesh
    38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023, 2023, : 1685 - 1694
  • [3] Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies
    Wright, Daniel
    Batty, Mark
    Dongol, Brijesh
    FORMAL METHODS, FM 2021, 2021, 13047 : 237 - 254
  • [4] Persistent Owicki-Gries Reasoning A Program Logic for Reasoning about Persistent Programs on Intel-x86
    Raad, Azalea
    Lahav, Ori
    Vafeiadis, Viktor
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (OOPSLA):
  • [5] A COMPOSITIONAL REFORMULATION OF OWICKI-GRIESS PARTIAL CORRECTNESS LOGIC FOR A CONCURRENT WHILE LANGUAGE
    STIRLING, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 226 : 407 - 415
  • [6] EXTENDING THE THEORY OF OWICKI AND GRIES WITH A LOGIC OF PROGRESS
    Dongol, Brijesh
    Goldson, Doug
    LOGICAL METHODS IN COMPUTER SCIENCE, 2006, 2 (01)
  • [7] View-Based Owicki-Gries Reasoning for Persistent x86-TSO
    Bila, Eleni Vafeiadi
    Dongol, Brijesh
    Lahav, Ori
    Raad, Azalea
    Wickerson, John
    PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, 2022, 13240 : 234 - 261
  • [8] Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System
    Andronick, June
    Lewis, Corey
    Morgan, Carroll
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (196): : 10 - 24
  • [9] Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL
    Dalvandi, Sadegh
    Dongol, Brijesh
    Doherty, Simon
    Wehrheim, Heike
    JOURNAL OF AUTOMATED REASONING, 2022, 66 (01) : 141 - 171
  • [10] THE HOARE LOGIC OF CONCURRENT PROGRAMS
    LAMPORT, L
    ACTA INFORMATICA, 1980, 14 (01) : 21 - 37
123