This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Martin C. Rinard
A grouping.
Verification of programs that manipulate linked data structures: two 2004 records establishing that separation logic's spatial conjunction is equivalent to second-order logic rather than a fragment of it, and the full functional verification of linked data structures that applies the machinery.
3 references
Full functional verification of linked data structures
Karen Zee and others (2008) · ACM SIGPLAN Notices · Association for Computing Machinery
Generalized Records and Spatial Conjunction in Role Logic
Viktor Kuncak and others (2004) · Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings · Springer
On Spatial Conjunction as Second-Order Logic
Viktor Kuncak and others (2004) · arXiv