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 条
  • [41] An overview of separation logic
    Reynolds, John C.
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 460 - 469
  • [42] Algebraic separation logic
    Dang, H. -H.
    Hoefner, P.
    Moeller, B.
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (06): : 221 - 247
  • [43] An Epistemic Separation Logic
    Courtault, Jean-Rene
    van Ditmarsch, Hans
    Galmiche, Didier
    [J]. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2015, 2015, 9160 : 156 - 173
  • [44] Separation logic and abstraction
    Parkinson, M
    Bierman, G
    [J]. ACM SIGPLAN NOTICES, 2005, 40 (01) : 247 - 258
  • [45] Tutorial on separation logic
    O'Hearn, Peter
    [J]. COMPUTER AIDED VERIFICATION, 2008, 5123 : 19 - 21
  • [46] An Introduction to Separation Logic
    Reynolds, John C.
    [J]. ENGINEERING METHODS AND TOOLS FOR SOFTWARE SAFETY AND SECURITY, 2009, 22 : 285 - 310
  • [47] A Probabilistic Separation Logic
    Barthe, Gilles
    Hsu, Justin
    Liao, Kevin
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (POPL):
  • [48] PROGRAM OPTIMIZATION WITH LOGIC PROGRAM TRANSFORMATION
    HOSHINO, H
    ESASHI, M
    AGUSA, K
    OHNO, Y
    [J]. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1988, 113 : 725 - 734
  • [49] Program dependence analysis of concurrent logic programs and its applications
    Zhao, JJ
    Cheng, JD
    Ushijima, K
    [J]. 1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1996, : 282 - 291
  • [50] Bridging Static and Dynamic Program Analysis using Fuzzy Logic
    Lidman, Jacob
    Svenningsson, Josef
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (250): : 111 - 126
12345