EVA STAR Trefferanzeige

Volltext Volltext.pdf1.pdf (153 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA668941
Titel Proving WAM compiler correctness.
Autor Schmitt, Peter H.
Institution Fakultät für Informatik (INFORMATIK)
Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Dokumenttyp Buch
Jahr 1994
Erscheinungsvermerk Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,33.)
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.