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
{"_id":{"_str":"5342b73a0e946d920a003398"},"__v":6,"authorIDs":["5468f899bc7d6a460d0010cd"],"author_short":["Henzinger, T. A.","Jhala, R.","Majumdar, R.","Sutre, G."],"bibbaseid":"henzinger-jhala-majumdar-sutre-lazyabstraction-2002","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Thomas","A."],"propositions":[],"lastnames":["Henzinger"],"suffixes":[]},{"firstnames":["Ranjit"],"propositions":[],"lastnames":["Jhala"],"suffixes":[]},{"firstnames":["Rupak"],"propositions":[],"lastnames":["Majumdar"],"suffixes":[]},{"firstnames":["Gregoire"],"propositions":[],"lastnames":["Sutre"],"suffixes":[]}],"title":"Lazy Abstraction","booktitle":"Symposium on Principles of Programming Languages","year":"2002","bibtex":"@InProceedings{henzinger02lazy,\n Author = \"Thomas A. Henzinger and Ranjit Jhala and Rupak\n Majumdar and Gregoire Sutre\",\n Title = {Lazy {A}bstraction},\n BookTitle = {Symposium on {P}rinciples of {P}rogramming {L}anguages},\n year = 2002\n}\n\n\n\n","author_short":["Henzinger, T. A.","Jhala, R.","Majumdar, R.","Sutre, G."],"key":"henzinger02lazy","id":"henzinger02lazy","bibbaseid":"henzinger-jhala-majumdar-sutre-lazyabstraction-2002","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"rbr.cs.umass.edu/gp/genplan.bib","downloads":0,"keywords":[],"search_terms":["lazy","abstraction","henzinger","jhala","majumdar","sutre"],"title":"Lazy Abstraction","year":2002,"dataSources":["ivTWmqfM6xcSHRfBa","BBkjciKCmRFKkzdZa"]}