A Certifying Compiler for Java (2000)

Cached

Download Links

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