Extended static checking for java (2002)

by C Flanagan, K R M Leino, M Lillibridge, G Nelson, J B Saxe, R Stata
Venue:In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation