%%
%% $Id$
%%
%% Copyright 1989-2016 MINES ParisTech
%%
%% This file is part of PIPS.
%%
%% PIPS is free software: you can redistribute it and/or modify it
%% under the terms of the GNU General Public License as published by
%% the Free Software Foundation, either version 3 of the License, or
%% any later version.
%%
%% PIPS is distributed in the hope that it will be useful, but WITHOUT ANY
%% WARRANTY; without even the implied warranty of MERCHANTABILITY or
%% FITNESS FOR A PARTICULAR PURPOSE.
%%
%% See the GNU General Public License for more details.
%%
%% You should have received a copy of the GNU General Public License
%% along with PIPS.  If not, see <http://www.gnu.org/licenses/>.
%%
\chapter{Les phases d'analyse}

\section{Effets}
\subsection{Effets propres des instructions simples}
\subsection{Effets cumulés des instructions composées}
\subsection{Effets résumés}

\section{Chaines Use-Def}

\section{Régions}
\subsection{Régions locales}
\subsection{Régions globales}
\subsection{Régions résumées}

\section{Transformers}
\subsection{Transformers locaux}
\subsection{Transformers résumés}

\section{Préconditions}
\subsection{Préconditions locales}
\subsection{Préconditions globales}

\section{Graphe des dépendances}
\subsection{Graphe à niveaux}
\subsection{Graphe à vecteurs de directions}

\section{Complexités}
\subsection{Complexités locales}
\subsection{Complexités résumées}
