Citation:
Ming Kawaguchi, Patrick Maxim Rondon, and Ranjit Jhala. 2009. “Type-based data structure verification.” In Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, Pp. 304–315.