Runtime Checking for Separation Logic.

Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin

Browse the full VMCAI paper archive.