Lazy Abstraction. Henzinger, T. A., Jhala, R., Majumdar, R., & Sutre, G. In Symposium on Principles of Programming Languages, 2002.
bibtex   
@InProceedings{henzinger02lazy,
  Author         = "Thomas A. Henzinger and Ranjit Jhala and Rupak
                   Majumdar and Gregoire Sutre",
  Title          = {Lazy {A}bstraction},
  BookTitle      = {Symposium on {P}rinciples of {P}rogramming {L}anguages},
  year           = 2002
}

Downloads: 0