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 条
  • [31] Logic Program Termination Analysis Using Atom Sizes
    Calautti, Marco
    Greco, Sergio
    Molinaro, Cristian
    Trubitsyna, Irina
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 2833 - 2839
  • [32] LOGIC PROGRAMMING ENVIRONMENTS - DYNAMIC PROGRAM ANALYSIS AND DEBUGGING
    DUCASSE, M
    NOYE, J
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1994, 20 : 351 - 384
  • [33] A logic-based approach to program flow analysis
    Sagiv, M
    Francez, N
    Rodeh, M
    Wilhelm, R
    [J]. ACTA INFORMATICA, 1998, 35 (06) : 457 - 504
  • [34] An optimized program analysis based on constraint logic programming
    Guo, Xi
    Zhang, Huanguo
    Zhao, Bo
    Li, Jing
    [J]. Journal of Convergence Information Technology, 2012, 7 (08) : 177 - 184
  • [35] CLPKIDS: A program analysis system for concurrent logic programs
    Zhao, JJ
    Cheng, JD
    Ushijima, K
    [J]. 25TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 2001, : 531 - 537
  • [36] A REWRITING LOGIC SEMANTICS APPROACH TO MODULAR PROGRAM ANALYSIS
    Hills, Mark
    Rosu, Grigore
    [J]. PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'10), 2010, 6 : 151 - 160
  • [37] From process logic to program logic
    Honda, K
    [J]. ACM SIGPLAN NOTICES, 2004, 39 (09) : 163 - 174
  • [38] Relational separation logic
    Yang, Hongseok
    [J]. THEORETICAL COMPUTER SCIENCE, 2007, 375 (1-3) : 308 - 334
  • [39] Mapped Separation Logic
    Kolanski, Rafal
    Klein, Gerwin
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 5295 : 15 - +
  • [40] Fictional Separation Logic
    Jensen, Jonas Braband
    Birkedal, Lars
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2012, 7211 : 377 - 396
12345