Local Reasoning about Programs that Alter Data Structures.

Peter W. O'Hearn, John C. Reynolds, Hongseok Yang

Browse the full CSL paper archive.