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:129 - 15 self

Document Versions

A Certifying Compiler for Java –Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline — 2000 — ACM SIGPLAN Notices