Local Reasoning about Programs that Alter Data Structures (2001)

by Peter O'Hearn , John Reynolds , Hongseok Yang
Citations:272 - 30 self