A Simple Model of Separation Logic for Higher-Order Store.

Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang

Browse the full ICALP paper archive.