Weak updates and separation logic.

Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai

Browse the full APLAS paper archive.