A Relational Model for Confined Separation Logic.

Shuling Wang, Lus Soares Barbosa, Jos Nuno Oliveira

Browse the full TASE paper archive.