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 LondonAdd to Reading ListSource URL: www.lsv.ens-cachan.frDownload Document from Source WebsiteFile Size: 180,02 KBShare Document on Facebook |