A Proof System for Separation Logic with Magic Wandrosaec.snu.ac.kr/meet/file/20140115f6.pdf ·...
1
A Proof System for Separation Logic with Magic Wand Wonyeol Lee and Sungwoo Park ({leewy,gla}@postech.ac.kr) Pohang University of Science and Technology (POSTECH)
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
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)
