A certifying compiler for Java. (2000)

by C Colby, P Lee, G C Necula, F Blau, M Plesko, K Cline
Venue:In Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation,