Back to Results
First PageMeta Content



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

Document Date: 2014-02-28 18:10:36


Open Document

File Size: 180,02 KB

Share Result on Facebook
UPDATE