Computability and Complexity Results for a Spatial Assertion Language for Data Structures.

Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn

Browse the full APLAS paper archive.