| Citation: | Wolf Zimmerman, and Thilo Gaul, "On the Construction of Correct Compiler Back-Ends: An ASM Approach", Journal of Universal Computer Science, vol. 3, no. 5 (1997), 504--567. |
|---|---|
| Summary: | The authors use ASMs to construct provably correct compiler back-ends based on realistic intermediate languages (and check the correctness of their proofs using PVS). |
| Subjects: | Compiler Correctness, Mechanical Verification, Verification |
| Download: | PostScript, PDF, Compressed PostScript |
| Notes: | Courtesy of Springer-Verlag. |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/backend.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT