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

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

Bibliographic Details
Main Authors: Calcagno, C, Yang, H, O'Hearn, P
Format: Conference item
Published: Springer−Verlag 2001
Description
Summary:

Similar Items