|
|
|
@ -3977,7 +3977,7 @@ $M \reducesto^\ast V$ if and only if $\pcps{M} \reducesto^\ast \pcps{V}$. |
|
|
|
|
|
|
|
\paragraph{Plotkin's colon translation} |
|
|
|
|
|
|
|
The traditional method for proving the correctness of a CPS |
|
|
|
The original method for proving the correctness of a CPS |
|
|
|
translation is by way of a simulation result. Simulation states that |
|
|
|
every reduction sequence in a given source program is mimicked by its |
|
|
|
CPS transformation. |
|
|
|
|
