cfbolz at codespeak.net cfbolz at codespeak.net
Tue Oct 12 17:32:58 CEST 2010

Author: cfbolz
Date: Tue Oct 12 17:32:57 2010
New Revision: 77847

Modified:
Log:
actually reference this figure

==============================================================================
+++ pypy/extradoc/talk/pepm2011/paper.tex	Tue Oct 12 17:32:57 2010
@@ -763,7 +763,8 @@
evaluation. The partial evaluator optimizes one operation of the trace at a
time. Every operation in the unoptimized trace is replaced by a list of
operations in the optimized trace. This list is empty if the operation
-can be optimized away (which hopefully happens often).
+can be optimized away (which hopefully happens often). The optimization rules
+can be seen in Figure~\ref{fig:optimization}.

The state of the optimizer is stored in an environment $E$ and a \emph{static
heap} $S$. The environment is a partial function from variables in the