A theorem prover for Boolean BI
From MaRDI portal
Publication:2931798
DOI10.1145/2429069.2429095zbMath1301.68221MaRDI QIDQ2931798
Jong Hyun Park, Jeongbong Seo, Sungwoo Park
Publication date: 27 November 2014
Published in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.8072
68N18: Functional programming and lambda calculus
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Unnamed Item, Proof tactics for assertions in separation logic, Completeness for a First-Order Abstract Separation Logic
Uses Software