Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/mis.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Thilo Gaul, Andreas Heberle, and Wolf Zimmerman, "An ASM Specification of the Operational Semantics of MIS". Verifix Working Paper [Verifix/UKA/3], University of Karlsruhe, 1998. |
|---|---|
| Summary: | An ASM specification of MIS, an intermediate programming language used in the Verifix project for provably correct compilation to the DEC-Alpha microprocessor. |
| Subjects: | Programming Languages |
| Download: | PostScript, PDF, Compressed PostScript |
| Notes: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/mis.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT