Computability and Complexity Results for a Spatial Assertion Language for Data Structures Cristiano Calcagno1,2 , Hongseok Yang3 , and Peter W. O’Hearn1 1 Queen Mary, University of London

First Page		Document Content
Date: 2014-02-28 18:10:36		Computability and Complexity Results for a Spatial Assertion Language for Data Structures Cristiano Calcagno1,2 , Hongseok Yang3 , and Peter W. O’Hearn1 1 Queen Mary, University of London Add to Reading List Source URL: www.lsv.ens-cachan.fr Download Document from Source Website File Size: 180,02 KB Share Document on Facebook