On Spatial Conjunction as Second-Order Logic
Spatial conjunction is a powerful construct for reasoning about dynamically allocateddata structures, as well as concurrent, distributed and mobile computation. Whileresearchers have identified many uses of spatial conjunction, its precise expressive powercompared to traditional logical constructs w...
Main Authors: | Kuncak, Viktor, Rinard, Martin |
---|---|
Other Authors: | Computer Architecture |
Language: | en_US |
Published: |
2005
|
Online Access: | http://hdl.handle.net/1721.1/30498 |
Similar Items
-
On Generalized Records and Spatial Conjunction in Role Logic
by: Kuncak, Viktor, et al.
Published: (2005) -
On Role Logic
by: Kuncak, Viktor, et al.
Published: (2005) -
On The Boolean Algebra of Shape Analysis Constraints
by: Kuncak, Viktor, et al.
Published: (2005) -
On Decision Procedures for Set-Value Fields
by: Kuncak, Viktor, et al.
Published: (2005) -
Object Models, Heaps and Interpretations
by: Rinard, Martin, et al.
Published: (2023)