A Case for Behavior-Preserving Actions in Separation Logic.

David Costanzo, Zhong Shao

Browse the full APLAS paper archive.