A Certifying Compiler for Java (2000)

by Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline
Venue:ACM SIGPLAN Notices