blob: ea1b3ad37d1fbd84a7765d0dd6b57734e4f67b91 (
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
|
\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}}}
|
