Proving the correctness of a virtual machine by a bisimulation

University dissertation from Chalmers University of Technology

Author: Mikael Rittri; Chalmers Tekniska Högskola.; Chalmers University Of Technology.; [1988]

Keywords: NATURVETENSKAP; NATURAL SCIENCES; compiler correctness; interpreter correctness; operational semantics; one-step reduction; context; bisimulation; state-trace; McGowan mapping; verification mapping; snapshot; stack machine; SECD--machine; debugging;

Abstract:

This dissertation MIGHT be available in PDF-format. Check this page to see if it is available for download.