Backwards and Forwards with Separation Logic.

Callum Bannister, Peter Hfner, Gerwin Klein

Browse the full ITP paper archive.