Data Structure Specifications via Local Equality Axioms.

Scott McPeak, George C. Necula

Browse the full CAV paper archive.