|
@@ -1866,6 +1866,8 @@ $L_{\mathtt{after}}$ set.
|
|
|
\caption{Running example program annotated with live-after sets.}
|
|
\caption{Running example program annotated with live-after sets.}
|
|
|
\label{fig:live-eg}
|
|
\label{fig:live-eg}
|
|
|
\end{figure}
|
|
\end{figure}
|
|
|
|
|
+\marginpar{This doesn't quite agree with the instructor solution. The
|
|
|
|
|
+annotations appear in the actual {\tt program} wrapper.}
|
|
|
|
|
|
|
|
|
|
|
|
|
\begin{exercise}\normalfont
|
|
\begin{exercise}\normalfont
|
Carl Factora