Lazy Abstraction (2002)

by T A Henzinger, R Jhala, R Majumdar, G Sutre
Venue:In Proc. Symposium on Principles of Programming Languages 2002