Frame Inference for Inductive Entailment Proofs in Separation Logic.

Quang Loc Le, Jun Sun, Shengchao Qin

Browse the full TACAS paper archive.