A Semantic Basis for Local Reasoning.

Hongseok Yang, Peter W. O'Hearn

Browse the full FOSSACS paper archive.