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.
Viktor Kuncak
A grouping.
Viktor Kuncak: spatial conjunction is equivalent to second-order logic (two 2004 records), its use in full functional verification of linked structures, and quantified linear arithmetic solving.
4 references
Solving quantified linear arithmetic by counterexample-guided instantiation
Andrew Reynolds and others (2017) · Formal Methods in System Design
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