Type-based data structure verification (2009)

by Ming Kawaguchi, Patrick Rondon, Ranjit Jhala
Venue:In PLDI ’09: Proceedings of the 2009 ACM SIGPLAN