Transcript
![Page 1: A Proof System for Separation Logic with Magic Wandrosaec.snu.ac.kr/meet/file/20140115f6.pdf · 2018-04-12 · Right Rule for Magic Wand (S, H) iff. for some heaps HI and +12, 112](https://reader035.vdocuments.pub/reader035/viewer/2022081613/5fa20663d12f95635a1247a5/html5/thumbnails/1.jpg)
A Proof System for Separation Logic with Magic WandWonyeol Lee and Sungwoo Park ({leewy,gla}@postech.ac.kr)Pohang University of Science and Technology (POSTECH)
A Proof System for Separation Logic with Magic WandWonyeol Lee and Sungwoo Park ({leewy,gla}@postech.ac.kr)Pohang University of Science and Technology (POSTECH)