Separation Logic for Higher-Order Store.

Bernhard Reus, Jan Schwinghammer

Browse the full CSL paper archive.