Boolean Algebra of Shape Analysis Constraints.

Viktor Kuncak, Martin C. Rinard

Browse the full VMCAI paper archive.