Towords a Machine Checked, Readable Proof of Jave Type Soundness
Don Syme
April 1997
Presentation: Six steps to a machine checked, readable proof of type soundness. Given at the Institut fur Informatik, Munchen
 PostScript file |
Details
| Type: | Inproceedings |
©2009 Microsoft Corporation. All rights reserved.