16 citations · 58 across the 8 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2004★ 13 cited
On Spatial Conjunction as Second-Order Logic
Viktor Kuncak, Martin Rinard
Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While researchers…
cs.LO2004★ 16 cited
On the Theory of Structural Subtyping
Viktor Kuncak, Martin Rinard
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructor…
cs.LO2004★ 13 cited
The First-Order Theory of Sets with Cardinality Constraints is Decidable
Viktor Kuncak, Martin Rinard
We show that the decidability of the first-order theory of the language that combines Boolean algebras of sets of uninterpreted elements with Presburger arithmetic operations. We t…