Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
Extended Static Checking for Java
PLDI, 2002.
@inproceedings{PLDI-2002-FlanaganLLNSS,
author = "Cormac Flanagan and K. Rustan M. Leino and Mark Lillibridge and Greg Nelson and James B. Saxe and Raymie Stata",
booktitle = "{Proceedings of the 23rd Conference on Programming Language Design and Implementation}",
doi = "10.1145/512529.512558",
editor = "Jens Knoop and Laurie J. Hendren",
isbn = "1-58113-463-0",
pages = "234--245",
publisher = "{ACM}",
title = "{Extended Static Checking for Java}",
year = 2002,
}
Tags: