Proving WAM compiler correctness
Abstract:
In this note we analyse the proof of compiler correctness of the
WAM given in the paper
The WAM - Definition and Compiler Correctness
by Egon Boerger and Dean Rosenzweig.
TR-14/92, Dipartimento di Informatica, Universita di Pisa, 1992.
with regard to the question how it could be assisted by an
automated theorem prover. We will give further details of the
proof methodology and present the proof obligations in a form that
is amenable to automated deduction systems.
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
| Publikationstyp | Buch |
| Publikationsjahr | 1994 |
| Sprache | Englisch |
| Identifikator | urn:nbn:de:swb:90-AAA668941 KITopen-ID: 66894 |
| Erscheinungsvermerk | Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,33.) |