Search for dissertations about: "SECD--machine"

Found 1 swedish dissertation containing the word SECD--machine.

2. 1. Proving the correctness of a virtual machine by a bisimulation

   Author : Mikael Rittri; Chalmers tekniska högskola; []
   Keywords : 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;

   Abstract : .... READ MORE