Separation Predicates: A Taste of Separation Logic in First-Order Logic.

Franois Bobot, Jean-Christophe Fillitre

Browse the full ICFEM paper archive.