Proving the correctness of a virtual machine by a bisimulation

Författare: Mikael Rittri; Chalmers University Of Technology; []

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

Sammanfattning:

Denna avhandling är EVENTUELLT nedladdningsbar som PDF. Kolla denna länk för att se om den går att ladda ner.