Decision Procedure for Entailment of Symbolic Heaps with Arrays.

Daisuke Kimura, Makoto Tatsuta

Browse the full APLAS paper archive.