DMCA

Computability and complexity results for a spatial assertion language for data structures (2001)

by Cristiano Calcagno , Hongseok Yang , Peter W. O’hearn
Venue:IN 21ST CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, FSTTCS’01, LNCS 2245
Citations:64 - 5 self