A proof system for separation logic with magic wand.

Wonyeol Lee, Sungwoo Park

Browse the full POPL paper archive.