Raymie Stata. Extended static checking for java (2002)

by Cormac Flanagan, K Rustan M Leino, Mark Lillibridge, Greg Nelson, James B Saxe
Venue:In PLDI ’02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation