Range Allocation for Separation Logic.

Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli

Browse the full CAV paper archive.