1 files changed, 87 insertions, 0 deletions
diff --git a/tex/thesis/thesis.aux b/tex/thesis/thesis.aux
new file mode 100644
index 0000000..0ca72d1
--- /dev/null
+++ b/tex/thesis/thesis.aux
@@ -0,0 +1,87 @@
+\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]{}
+\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{}{Student Plagiarism: Compliance Statement}}{ii}{chapter*.2}}
+\@writefile{lof}{\addvspace {10\p@ }}
+\@writefile{lot}{\addvspace {10\p@ }}
+\newlabel{sec:plagiarism}{{}{ii}{Student Plagiarism: Compliance Statement\relax }{chapter*.2}{}}
+\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{}{Abstract}}{iii}{chapter*.4}}
+\@writefile{lof}{\addvspace {10\p@ }}
+\@writefile{lot}{\addvspace {10\p@ }}
+\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{}{Acknowledgements}}{iv}{chapter*.6}}
+\@writefile{lof}{\addvspace {10\p@ }}
+\@writefile{lot}{\addvspace {10\p@ }}
+\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{}{List of Figures}}{vi}{chapter*.6}}
+\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{}{List of Tables}}{vii}{chapter*.6}}
+\citation{clark-curran:07}
+\citation{clark-curran:07}
+\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{1}{Introduction}}{1}{chapter.1}}
+\@writefile{lof}{\addvspace {10\p@ }}
+\@writefile{lot}{\addvspace {10\p@ }}
+\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{2}{Literature Review}}{2}{chapter.2}}
+\@writefile{lof}{\addvspace {10\p@ }}
+\@writefile{lot}{\addvspace {10\p@ }}
+\newlabel{chap:litreview}{{2}{2}{Literature Review\relax }{chapter.2}{}}
+\@writefile{toc}{\contentsline {section}{\tocsection {}{2.1}{Program Semantics}}{2}{section.2.1}}
+\@writefile{toc}{\contentsline {section}{\tocsection {}{2.2}{Abstract Interpretation}}{3}{section.2.2}}
+\newlabel{sec:abstract-interpretation}{{2.2}{3}{Abstract Interpretation\relax }{section.2.2}{}}
+\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2.1}{General Framework}}{3}{subsection.2.2.1}}
+\citation{CousotCousot77-1}
+\citation{Gawlitza:2007:PFC:1762174.1762203}
+\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2.2}{Intervals}}{4}{subsection.2.2.2}}
+\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2.3}{Zones}}{4}{subsection.2.2.3}}
+\newlabel{subsec:zones}{{2.2.3}{4}{Zones\relax }{subsection.2.2.3}{}}
+\@writefile{toc}{\contentsline {section}{\tocsection {}{2.3}{Min/max problem}}{4}{section.2.3}}
+\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces A simple CFG fragment.}}{5}{figure.2.1}}
+\newlabel{cfg:confluence}{{2.1}{5}{A simple CFG fragment}{figure.2.1}{}}
+\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3.1}{Partial-ordering Formulation}}{5}{subsection.2.3.1}}
+\newlabel{eqn:start-node}{{2.4}{5}{Partial-ordering Formulation\relax }{equation.2.3.4}{}}
+\newlabel{eqn:confluence}{{2.5}{5}{Partial-ordering Formulation\relax }{equation.2.3.5}{}}
+\@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces The CFG for Example \ref  {example:partial-ordered-construction}}}{6}{figure.2.2}}
+\newlabel{fig:partial-ordered-construction}{{2.2}{6}{The CFG for Example \ref {example:partial-ordered-construction}\relax }{figure.2.2}{}}
+\newlabel{example:partial-ordered-construction}{{2.3.1}{6}{\relax }{example.2.3.1}{}}
+\@writefile{toc}{\contentsline {subsubsection}{\tocsubsubsection {}{2.3.1.1}{Lattice construction}}{8}{subsubsection.2.3.1.1}}
+\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3.2}{Formalities}}{11}{subsection.2.3.2}}
+\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3.3}{Example solve}}{11}{subsection.2.3.3}}
+\newlabel{sec-1-3-5}{{2.3.3}{11}{Example solve\relax }{subsection.2.3.3}{}}
+\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{3}{Evaluation}}{12}{chapter.3}}
+\@writefile{lof}{\addvspace {10\p@ }}
+\@writefile{lot}{\addvspace {10\p@ }}
+\newlabel{chap:evaluation}{{3}{12}{Evaluation\relax }{chapter.3}{}}
+\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{4}{Experiments}}{13}{chapter.4}}
+\@writefile{lof}{\addvspace {10\p@ }}
+\@writefile{lot}{\addvspace {10\p@ }}
+\newlabel{chap:experiments}{{4}{13}{Experiments\relax }{chapter.4}{}}
+\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{5}{Results}}{14}{chapter.5}}
+\@writefile{lof}{\addvspace {10\p@ }}
+\@writefile{lot}{\addvspace {10\p@ }}
+\newlabel{chap:results}{{5}{14}{Results\relax }{chapter.5}{}}
+\bibstyle{style/mybibstyle}
+\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{6}{Conclusion}}{15}{chapter.6}}
+\@writefile{lof}{\addvspace {10\p@ }}
+\@writefile{lot}{\addvspace {10\p@ }}
+\newlabel{chap:conclusion}{{6}{15}{Conclusion\relax }{chapter.6}{}}
+\bibdata{references}
+\bibcite{CousotCousot77-1}{{1}{1977}{{Cousot and Cousot}}{{}}}
+\bibcite{Gawlitza:2007:PFC:1762174.1762203}{{2}{2007}{{Gawlitza and Seidl}}{{}}}
+\newlabel{tocindent-1}{0pt}
+\newlabel{tocindent0}{67.91135pt}
+\newlabel{tocindent1}{26.27997pt}
+\newlabel{tocindent2}{35.58745pt}
+\newlabel{tocindent3}{0pt}
+\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{}{Bibliography}}{16}{chapter*.8}}
+\@writefile{lof}{\addvspace {10\p@ }}
+\@writefile{lot}{\addvspace {10\p@ }}