[pypy-svn] r80220 - pypy/extradoc/talk/pepm2011/presentation

[cfbolz at codespeak.net]

Author: cfbolz
Date: Wed Jan 19 17:25:33 2011
New Revision: 80220

Modified:
   pypy/extradoc/talk/pepm2011/presentation/talk.tex
Log:
tweaks


Modified: pypy/extradoc/talk/pepm2011/presentation/talk.tex
==============================================================================
--- pypy/extradoc/talk/pepm2011/presentation/talk.tex	(original)
+++ pypy/extradoc/talk/pepm2011/presentation/talk.tex	Wed Jan 19 17:25:33 2011
@@ -295,11 +295,13 @@
       \begin{itemize}
           \item a slightly simplified model for objects on the heap
           \item operational semantics of trace operations that manipulate the heap
-          \item optimization rules for those operations
+          \item optimization rules for those operations, following the operational semantics
       \end{itemize}
   \end{block}
 \end{frame}
 
+
+
 \begin{frame}
   \frametitle{Heap Model}
   \includegraphics[scale=0.9]{figures/heap01}
@@ -383,7 +385,8 @@
       \item static heap contains objects that are allocated within the trace
       \item (as opposed to before the trace is executed)
       \pause
-      \item operations acting on the static heap can be removed
+      \item operations acting on the static heap can be executed
+      \item follows operational semantics
       \item all others need to be residualized
       \item all fairly straightforward
   \end{itemize}