Sun Jun 12 12:02:36 CEST 2011

Author: Hakan Ardo <hakan at debian.org>
Changeset: r3649:27bc6207d1bd
Date: 2011-06-12 12:04 +0200

Log:	implementation detail

diff --git a/talk/iwtc11/paper.tex b/talk/iwtc11/paper.tex
--- a/talk/iwtc11/paper.tex
+++ b/talk/iwtc11/paper.tex
@@ -568,7 +568,13 @@
iteration to the second also has to be passed as pointers from the
second iteration to the third. If one of these objects are virtual
at the end of the second iteration they need to be allocated right
-before the jump.
+before the jump. With the simple objects considered in this paper,
+that is not a problem. However in more complicated interpreters such
+an allocation might, in combination with other optimizations, lead
+to additional variables from the first iteration being imported into
+the second. This extends both $\hat J$ and $\hat K$, which means that
+some care has to be taken, when implementing this, to allow $\hat J$ to
+grow while inlining it into $\hat K$.

\section{Benchmarks}