kernel.tex

\subsection{AST and front-end}
% NB: le visiteur est pour le lendemain...
% Quel exemple de support?
\begin{frame}{Representation of a C program}
\end{frame}
\begin{frame}{Retrieving information}
\end{frame}
\begin{frame}{From original source to final AST}
\end{frame}
\begin{frame}{The freshly parsed AST}
\end{frame}
\subsection{Properties and their statuses}
\begin{frame}{Property datatype}
\end{frame}
\begin{frame}{Local status}
\end{frame}
\begin{frame}{Consolidated status}
\end{frame}
\subsection{States and Datatypes}
\begin{frame}{Datatype}
\end{frame}
\begin{frame}{Registering a new state}
\end{frame}
% Ou dans projects le lendemain ?

% Local Variables:
% ispell-local-dictionary: "english"
% TeX-master: "slides.tex"
% End: