Shape Analysis via Second-Order Bi-Abduction.

Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin

Browse the full CAV paper archive.