An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic.

Quang Loc Le, Xuan-Bach Dinh Le

Browse the full FOSSACS paper archive.