Two-Variable Separation Logic and Its Inner Circle

St├ęphane Demri, Morgan Deters. Two-Variable Separation Logic and Its Inner Circle. ACM Trans. Comput. Log., 16(2):15, 2015. [doi]

Abstract

Abstract is missing.