Type-based data structure verification (2009)

by Ming Kawaguchi , Patrick Rondon , Ranjit Jhala
Venue:In PLDI
Citations:12 - 4 self