Proving the correctness of a virtual machine by a bisimulation
Licentiatavhandling, 1988
stack machine
snapshot
one-step reduction
interpreter correctness
verification mapping
bisimulation
operational semantics
compiler correctness
SECD--machine
context
McGowan mapping
state-trace
debugging
Författare
Mikael Rittri
Institutionen för informationsbehandling
Ämneskategorier (SSIF 2011)
Datavetenskap (datalogi)
ISBN
99-0735159-8