\relax 
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\citation{DBLP:conf/eef/Yovine96}
\citation{DBLP:conf/rtss/LarsenLPY97}
\citation{Sagiv01}
\citation{DBLP:conf/pado/Mine01}
\@writefile{toc}{\beamer@endinputifotherversion {3.10pt}}
\@writefile{nav}{\beamer@endinputifotherversion {3.10pt}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}}
\citation{DBLP:conf/vmcai/SankaranarayananSM05}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}}
\citation{Sagiv01}
\citation{DBLP:conf/pado/Mine01}
\citation{DBLP:conf/popl/CousotC77}
\citation{DBLP:conf/csl/GawlitzaS07}
\citation{Sagiv01}
\citation{DBLP:conf/pado/Mine01}
\citation{DBLP:conf/popl/CousotC77}
\citation{DBLP:conf/csl/GawlitzaS07}
\citation{Sagiv01}
\citation{DBLP:conf/pado/Mine01}
\citation{DBLP:conf/popl/CousotC77}
\citation{DBLP:conf/csl/GawlitzaS07}
\citation{Sagiv01}
\citation{DBLP:conf/pado/Mine01}
\citation{DBLP:conf/popl/CousotC77}
\citation{DBLP:conf/csl/GawlitzaS07}
\citation{Sagiv01}
\citation{DBLP:conf/pado/Mine01}
\citation{DBLP:conf/popl/CousotC77}
\citation{DBLP:conf/csl/GawlitzaS07}
\citation{Sagiv01}
\citation{DBLP:conf/pado/Mine01}
\citation{DBLP:conf/popl/CousotC77}
\citation{DBLP:conf/csl/GawlitzaS07}
\citation{Sagiv01}
\citation{DBLP:conf/pado/Mine01}
\citation{DBLP:conf/popl/CousotC77}
\citation{DBLP:conf/csl/GawlitzaS07}
\citation{Sagiv01}
\citation{DBLP:conf/pado/Mine01}
\citation{DBLP:conf/popl/CousotC77}
\citation{DBLP:conf/csl/GawlitzaS07}
\citation{Sagiv01}
\citation{DBLP:conf/pado/Mine01}
\citation{DBLP:conf/popl/CousotC77}
\citation{DBLP:conf/csl/GawlitzaS07}
\citation{Sagiv01}
\citation{DBLP:conf/pado/Mine01}
\citation{DBLP:conf/popl/CousotC77}
\citation{DBLP:conf/csl/GawlitzaS07}
\citation{Sagiv01}
\citation{DBLP:conf/pado/Mine01}
\citation{DBLP:conf/popl/CousotC77}
\citation{DBLP:conf/csl/GawlitzaS07}
\citation{Sagiv01}
\citation{DBLP:conf/pado/Mine01}
\citation{DBLP:conf/popl/CousotC77}
\citation{DBLP:conf/csl/GawlitzaS07}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{3}{3/14}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {3}{14}}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{4}{15/15}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {15}{15}}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{5}{16/16}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {16}{16}}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{6}{18/18}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {18}{18}}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{7}{19/42}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {19}{42}}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{8}{43/43}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {43}{43}}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{9}{44/44}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {44}{44}}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{10}{45/66}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {45}{66}}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{11}{67/72}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {67}{72}}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{12}{73/79}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {73}{79}}}
\bibstyle{apalike2}
\bibdata{bib}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{13}{80/80}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {80}{80}}}
\@writefile{nav}{\headcommand {\beamer@partpages {1}{80}}}
\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{80}}}
\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{80}}}
\@writefile{nav}{\headcommand {\beamer@documentpages {80}}}
\@writefile{nav}{\headcommand {\def \inserttotalframenumber {13}}}