G.: Lazy abstraction (2002)

by T Henzinger, R Jhala, R Majumdar, Sutre
Venue:In: POPL’2002: Principles of Programming Languages