Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata. Extended Static Checking for Java. In PLDI. pages 234-245, 2002. [doi]
@inproceedings{FlanaganLLNSS02,
title = {Extended Static Checking for Java},
author = {Cormac Flanagan and K. Rustan M. Leino and Mark Lillibridge and Greg Nelson and James B. Saxe and Raymie Stata},
year = {2002},
doi = {10.1145/512529.512558},
url = {http://doi.acm.org/10.1145/512529.512558},
tags = {Java},
researchr = {https://researchr.org/publication/FlanaganLLNSS02},
cites = {0},
citedby = {0},
pages = {234-245},
booktitle = {PLDI},
}