From bfa58c900c1d6277e76e2ad14c8a2d4804c89b51 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Mon, 21 Sep 2020 22:52:42 +0100 Subject: [PATCH] Rewording --- thesis.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/thesis.tex b/thesis.tex index a2a0e8e..55924a1 100644 --- a/thesis.tex +++ b/thesis.tex @@ -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.