Type-based data structure verification.

Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala

Browse the full PLDI paper archive.