blob: dc4889f84acc4c7a6a00aaf0dfa3d8ebd50b2936 (
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
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
|
\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}{\beamer@endinputifotherversion {3.10pt}}
\@writefile{nav}{\beamer@endinputifotherversion {3.10pt}}
\@writefile{toc}{\beamer@sectionintoc {0}{Title}{1}{0}{1}}
\@writefile{nav}{\headcommand {\sectionentry {0}{Title}{1}{Title}{0}}}
\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{0}}}
\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{0}}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{3/3}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {3}{3}}}
\citation{DBLP:conf/eef/Yovine96}
\citation{DBLP:conf/rtss/LarsenLPY97}
\citation{Sagiv01}
\citation{DBLP:conf/pado/Mine01}
\@writefile{toc}{\beamer@sectionintoc {1}{Abstract Interpretation using Zones}{4}{0}{2}}
\@writefile{nav}{\headcommand {\sectionentry {1}{Abstract Interpretation using Zones}{4}{Abstract Interpretation using Zones}{0}}}
\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{3}}}
\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{3}}}
\citation{DBLP:conf/eef/Yovine96}
\citation{DBLP:conf/rtss/LarsenLPY97}
\citation{Sagiv01}
\citation{DBLP:conf/pado/Mine01}
\citation{DBLP:conf/eef/Yovine96}
\citation{DBLP:conf/rtss/LarsenLPY97}
\citation{Sagiv01}
\citation{DBLP:conf/pado/Mine01}
\citation{DBLP:conf/eef/Yovine96}
\citation{DBLP:conf/rtss/LarsenLPY97}
\citation{Sagiv01}
\citation{DBLP:conf/pado/Mine01}
\@writefile{nav}{\headcommand {\slideentry {1}{0}{3}{4/5}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {4}{5}}}
\citation{DBLP:conf/vmcai/SankaranarayananSM05}
\citation{DBLP:conf/vmcai/SankaranarayananSM05}
\citation{DBLP:conf/vmcai/SankaranarayananSM05}
\citation{DBLP:conf/vmcai/SankaranarayananSM05}
\@writefile{nav}{\headcommand {\slideentry {1}{0}{4}{6/7}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {6}{7}}}
\@writefile{nav}{\headcommand {\slideentry {1}{0}{5}{8/9}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {8}{9}}}
\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 {1}{0}{6}{10/11}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {10}{11}}}
\@writefile{nav}{\headcommand {\slideentry {1}{0}{7}{12/13}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {12}{13}}}
\@writefile{nav}{\headcommand {\slideentry {1}{0}{8}{14/14}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {14}{14}}}
\@writefile{toc}{\beamer@sectionintoc {2}{Max-Strategy Iteration}{15}{0}{3}}
\@writefile{nav}{\headcommand {\sectionentry {2}{Max-Strategy Iteration}{15}{Max-Strategy Iteration}{0}}}
\@writefile{nav}{\headcommand {\beamer@sectionpages {4}{14}}}
\@writefile{nav}{\headcommand {\beamer@subsectionpages {4}{14}}}
\@writefile{nav}{\headcommand {\slideentry {2}{0}{9}{15/16}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {15}{16}}}
\@writefile{nav}{\headcommand {\slideentry {2}{0}{10}{17/18}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {17}{18}}}
\@writefile{nav}{\headcommand {\slideentry {2}{0}{11}{19/20}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {19}{20}}}
\@writefile{nav}{\headcommand {\slideentry {2}{0}{12}{21/21}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}}
\@writefile{nav}{\headcommand {\slideentry {2}{0}{13}{22/22}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {22}{22}}}
\@writefile{nav}{\headcommand {\slideentry {2}{0}{14}{23/24}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {23}{24}}}
\@writefile{nav}{\headcommand {\slideentry {2}{0}{15}{25/26}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {25}{26}}}
\@writefile{nav}{\headcommand {\slideentry {2}{0}{16}{27/27}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {27}{27}}}
\@writefile{toc}{\beamer@sectionintoc {3}{Conclusion}{28}{0}{4}}
\@writefile{nav}{\headcommand {\sectionentry {3}{Conclusion}{28}{Conclusion}{0}}}
\@writefile{nav}{\headcommand {\beamer@sectionpages {15}{27}}}
\@writefile{nav}{\headcommand {\beamer@subsectionpages {15}{27}}}
\@writefile{nav}{\headcommand {\slideentry {3}{0}{17}{28/29}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {28}{29}}}
\bibstyle{apalike2}
\bibdata{bib}
\@writefile{nav}{\headcommand {\slideentry {3}{0}{18}{30/30}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {30}{30}}}
\@writefile{nav}{\headcommand {\beamer@partpages {1}{30}}}
\@writefile{nav}{\headcommand {\beamer@subsectionpages {28}{30}}}
\@writefile{nav}{\headcommand {\beamer@sectionpages {28}{30}}}
\@writefile{nav}{\headcommand {\beamer@documentpages {30}}}
\@writefile{nav}{\headcommand {\def \inserttotalframenumber {18}}}
|
