Sökning: "SECD--machine"

Hittade 1 avhandling innehållade ordet SECD--machine.

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

   Författare :Mikael Rittri; Chalmers tekniska högskola; []
   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 : .... LÄS MER