CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Proving the correctness of a virtual machine by a bisimulation

Mikael Rittri (Institutionen för informationsbehandling)
Göteborg : Chalmers University of Technology, 1988. ISBN: 99-0735159-8.- 39 s. s.

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

Denna post skapades 2013-08-06.
CPL Pubid: 180599


Institutioner (Chalmers)

Institutionen för informationsbehandling (1987-1993)



Chalmers infrastruktur