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.
Martin C. Rinard: spatial conjunction as second-order logic (two 2004 records) and full functional verification of linked data structures.
5 references
Automatically patching errors in deployed software
Jeff H. Perkins and others (2009) · ACM SIGOPS Symposium on Operating Systems Principles (SOSP)
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
The semantic foundations of concurrent constraint programming
Vijay A. Saraswat and others (1991) · ACM Press