ILC: A foundation for automated reasoning about pointer programs (2006)

by Limin Jia, David Walker
Venue:In Programming Languages and Systems