The Dual Spatial Connectives of Separation Logic.

Yuming Shen, Yuefei Sui, Ju Wang

Browse the full KSEM paper archive.