\chapter{Static extraction of memory-carried
dependencies}\label{chap:staticdeps}

\input{00_intro.tex}
\input{10_types_of_deps.tex}
\input{20_dynamic.tex}
\input{30_static_principle.tex}
\input{35_rob_proof.tex}
\input{40_staticdeps.tex}
\input{50_eval.tex}
\input{99_conclusion.tex}
