KIT | KIT-Bibliothek | Impressum | Datenschutz

Proving WAM compiler correctness

Schmitt, Peter H.


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.

Volltext §
DOI: 10.5445/IR/66894
Cover der Publikation
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.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page