A Certifying Compiler for Java (2000)
by
Christopher Colby
,
Peter Lee
,
George C. Necula
,
Fred Blau
,
Mark Plesko
,
Kenneth Cline
| Venue: | ACM SIGPLAN Notices |
| Citations: | 120 - 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 |
