The Bernays-Schnfinkel-Ramsey Class of Separation Logic on Arbitrary Domains.

Mnacho Echenim, Radu Iosif, Nicolas Peltier

Browse the full FOSSACS paper archive.