Syntactic control of interference for separation logic.

Uday S. Reddy, John C. Reynolds

Browse the full POPL paper archive.