\batchmode
\documentstyle[12pt,lect]{article}
\makeatletter

\textheight=40pc
\input{psfig}


\def\zzchapter{}

\def\zzsection{}

\makeatother
\newenvironment{tex2html_wrap}{}{}
\newwrite\lthtmlwrite
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newbox\sizebox
\begin{document}
\pagestyle{empty}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\; \bullet\; $}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline370: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\setcounter{page}{0}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\Rightarrow$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline372: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\Rightarrow$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline374: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\leq$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline376: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \begin{displaymath}\mbox{Extent} > \mbox{Scope}.
\end{displaymath}
}

{\newpage
\clearpage
\samepage \psfig{figure=f-7-1.eps,width=4.8in}
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\Rightarrow$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline378: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\Rightarrow$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline380: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\Rightarrow$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline382: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \begin{displaymath}\mbox{Extent(\verb~Q~'s AR)} \subset \mbox{Extent(\verb~P~'s AR)}
\end{displaymath}
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$P \equiv$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline384: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \psfig{figure=f-7-2.eps,width=4.8in}
}

{\newpage
\clearpage
\samepage \begin{eqnarray*}\lefteqn{
	\mbox{\sc L-value of a variable}
}						\\ 
&\equiv&
	\left\{
		\begin{array}{c}
		\mbox{\sc Address of the current AR}\\ 
		+					\\ 
		\mbox{\sc ``offset'' address within the AR}
		\end{array}
	\right.
\end{eqnarray*}
}

{\newpage
\clearpage
\samepage \(
	LexLev(P) = n \;\Rightarrow\;
\)
}

{\newpage
\clearpage
\samepage \begin{displaymath}LexLev(Q) = n+1 \;\&\; LexLev(R) = n+2.
\end{displaymath}
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$0 < L < \mbox{Current-level}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline400: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$= Lexlev(R) + 1$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline402: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$LexLev(R) + 1$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline404: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\Rightarrow LexLev(Q) \leq Lexlev(P)$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline410: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$LexLev(P) = n$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline412: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$Display(P) = D_P[0..n]$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline414: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$Lexlev(Q) = n$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline416: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$Lexlev(Q) = m <n$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline422: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$Lexlev(Q) = n$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline428: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \begin{eqnarray*}Display(Q) &=& D_Q[0..n]\\ 
D_Q[0..n-1] &:=& D_p[0..n-1]\\ 
	& &\qquad\mbox{First $n$ displays are the same}\\ 
D_Q[n] &:=& AR_Q\\ 
	& &\qquad\mbox{The $n$th display of}\\ 
	& & \qquad\mbox{$Q$ is the base of the current AR}\\ 
\end{eqnarray*}
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$Lexlev(Q) = m <n$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline440: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \begin{eqnarray*}Display(Q) &=& D_Q[0..m]\\ 
D_Q[0..m-1] &:=& D_p[0..m-1]\\ 
	& &\qquad\mbox{First $m$ displays are the same}\\ 
D_Q[m] &:=& AR_Q\\ 
	& &\qquad\mbox{The $m$th display of}\\ 
	& & \qquad\mbox{$Q$ is the base of the current AR}\\ 
\end{eqnarray*}
}

{\newpage
\clearpage
\samepage \psfig{figure=f-7-3.eps,width=3.8in}
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$AR(P)$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline454: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \psfig{figure=f-7-4.eps,width=5.2in}
}

{\newpage
\clearpage
\samepage \psfig{figure=f-7-5.eps,width=3.5in}
}

{\newpage
\clearpage
\samepage \begin{displaymath}THUNK \colon \emptyset \to \mbox{\em L-values}
\end{displaymath}
}

{\newpage
\clearpage
\samepage \psfig{figure=f-7-6.eps,width=5.5in}
}

\stepcounter{section}

\end{document}
