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

by L Jia, D Walker
Venue:In European Symposium on Programming Languages