1 citations · 1 across the 1 of their papers we have counts for
1 paper
Daisuke Kimura, Makoto Tatsuta
This paper gives a decision procedure for the validity of en- tailment of symbolic heaps in separation logic with Presburger arithmetic and arrays. The correctness of the decision…