blob: 0ca72d1098a71a89e03deccec6dd8136bab2e237 (
about) (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
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@ }}
|
