Separation logic and program analysis

被引：0
|
作者：
O'Hearn, Peter W. [1 ]
机构：
[1] Univ London, Queen Mary, London WC1E 7HU, England
来源：
STATIC ANALYSIS, PROCEEDINGS | 2006年 / 4134卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：181 / 181
页数：1
相关论文
共 50 条
  • [1] Program Verification with Separation Logic
    Iosif, Radu
    [J]. MODEL CHECKING SOFTWARE, SPIN 2018, 2018, 10869 : 48 - 62
  • [2] Bi-Abduction in Separation Logic with Arrays and Lists for Program Analysis
    Kimura, Daisuke
    Tatsuta, Makoto
    Faisal, Mahmudul
    Ameen, Al
    Ikebuchi, Mirai
    Nakazawa, Koji
    [J]. Computer Software, 2024, 41 (01) : 50 - 67
  • [3] SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic
    Le, Ton Chanh
    Zheng, Guolong
    Nguyen, ThanhVu
    [J]. PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 788 - 801
  • [4] Cyclic Proofs of Program Termination in Separation Logic
    Brotherston, James
    Bornat, Richard
    Calcagno, Cristiano
    [J]. POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2008, : 101 - 112
  • [5] A Program Construction and Verification Tool for Separation Logic
    Dongol, Brijesh
    Gomes, Victor B. F.
    Struth, Georg
    [J]. MATHEMATICS OF PROGRAM CONSTRUCTION, MPC 2015, 2015, 9129 : 137 - 158
  • [6] Cyclic proofs of program termination in separation logic
    Brotherston, James
    Bornat, Richard
    Calcagno, Cristiano
    [J]. ACM SIGPLAN NOTICES, 2008, 43 (01) : 101 - 112
  • [7] Completeness of Pointer Program Verification by Separation Logic
    Tatsuta, Makoto
    Chin, Wei-Ngan
    Al Ameen, Mahmudul Faisal
    [J]. SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 179 - +
  • [8] Towards mechanized program verification with separation logic
    Weber, T
    [J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 250 - 264
  • [9] PROGRAM PARTITION AND LOGIC PROGRAM ANALYSIS
    HAN, JL
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (12) : 959 - 968
  • [10] Relaxed Separation Logic: A Program Logic for C11 Concurrency
    Vafeiadis, Viktor
    Narayan, Chinmay
    [J]. ACM SIGPLAN NOTICES, 2013, 48 (10) : 867 - 883
12345