Bringing Order to the Separation Logic Jungle.

Qinxiang Cao, Santiago Cullar, Andrew W. Appel

Browse the full APLAS paper archive.