Separation Logic for Non-local Control Flow and Block Scope Variables.

Robbert Krebbers, Freek Wiedijk

Browse the full FOSSACS paper archive.