Article
Cited 5 time in 
Cited 10 time in 
Cited 10 time in
Metadata Downloads
A Proof System for Separation Logic with Magic Wand
- Title
- A Proof System for Separation Logic with Magic Wand
- POSTECH Authors
- Park, S
- Date Issued
- Jan-2014
- Publisher
- ACM
- Keywords
- Verification; Separation logic; Proof system; Theorem prover; MUTABLE DATA-STRUCTURES; SHAPE-ANALYSIS; VERIFICATION; BI
- ISSN
- 0362-1340
- Article Type
- Article
- Citation
- SIGPLAN Notices, vol. 49, no. 1, page. 477 - 490, 2014-01
- Files in This Item:
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
Communities & Collection
Related Researcher
- 박성우PARK, SUNGWOO
- Dept of Computer Science & Enginrg