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

Datavetenskap (datalogi)

ISBN

99-0735159-8