149
click to vote
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...