1 | \beamer@endinputifotherversion {3.07pt} |
---|
2 | \headcommand {\slideentry {0}{0}{1}{1/1}{}{0}} |
---|
3 | \headcommand {\beamer@framepages {1}{1}} |
---|
4 | \headcommand {\slideentry {0}{0}{2}{2/2}{}{0}} |
---|
5 | \headcommand {\beamer@framepages {2}{2}} |
---|
6 | \headcommand {\slideentry {0}{0}{3}{3/3}{}{0}} |
---|
7 | \headcommand {\beamer@framepages {3}{3}} |
---|
8 | \headcommand {\slideentry {0}{0}{4}{4/4}{}{0}} |
---|
9 | \headcommand {\beamer@framepages {4}{4}} |
---|
10 | \headcommand {\slideentry {0}{0}{5}{5/5}{}{0}} |
---|
11 | \headcommand {\beamer@framepages {5}{5}} |
---|
12 | \headcommand {\slideentry {0}{0}{6}{6/6}{}{0}} |
---|
13 | \headcommand {\beamer@framepages {6}{6}} |
---|
14 | \headcommand {\slideentry {0}{0}{7}{7/7}{}{0}} |
---|
15 | \headcommand {\beamer@framepages {7}{7}} |
---|
16 | \headcommand {\slideentry {0}{0}{8}{8/8}{}{0}} |
---|
17 | \headcommand {\beamer@framepages {8}{8}} |
---|
18 | \headcommand {\slideentry {0}{0}{9}{9/9}{}{0}} |
---|
19 | \headcommand {\beamer@framepages {9}{9}} |
---|
20 | \headcommand {\slideentry {0}{0}{10}{10/10}{}{0}} |
---|
21 | \headcommand {\beamer@framepages {10}{10}} |
---|
22 | \headcommand {\slideentry {0}{0}{11}{11/11}{}{0}} |
---|
23 | \headcommand {\beamer@framepages {11}{11}} |
---|
24 | \headcommand {\sectionentry {1}{Correctness proofs}{12}{Correctness proofs}{0}} |
---|
25 | \headcommand {\beamer@sectionpages {1}{11}} |
---|
26 | \headcommand {\beamer@subsectionpages {1}{11}} |
---|
27 | \headcommand {\beamer@subsectionentry {0}{1}{1}{12}{Generic lifting result}}\headcommand {\beamer@subsectionpages {12}{11}} |
---|
28 | \headcommand {\slideentry {1}{1}{1}{12/14}{Generic lifting result}{0}} |
---|
29 | \headcommand {\beamer@framepages {12}{14}} |
---|
30 | \headcommand {\beamer@subsectionentry {0}{1}{2}{15}{Simulations for compiler passes}}\headcommand {\beamer@subsectionpages {12}{14}} |
---|
31 | \headcommand {\slideentry {1}{2}{1}{15/15}{Simulations for compiler passes}{0}} |
---|
32 | \headcommand {\beamer@framepages {15}{15}} |
---|
33 | \headcommand {\slideentry {1}{2}{2}{16/16}{Simulations for compiler passes}{0}} |
---|
34 | \headcommand {\beamer@framepages {16}{16}} |
---|
35 | \headcommand {\sectionentry {2}{Checking cost labelling properties}{17}{Checking cost labelling properties}{0}} |
---|
36 | \headcommand {\beamer@sectionpages {12}{16}} |
---|
37 | \headcommand {\beamer@subsectionpages {15}{16}} |
---|
38 | \headcommand {\slideentry {2}{0}{3}{17/17}{}{0}} |
---|
39 | \headcommand {\beamer@framepages {17}{17}} |
---|
40 | \headcommand {\slideentry {2}{0}{4}{18/23}{}{0}} |
---|
41 | \headcommand {\beamer@framepages {18}{23}} |
---|
42 | \headcommand {\slideentry {2}{0}{5}{24/24}{}{0}} |
---|
43 | \headcommand {\beamer@framepages {24}{24}} |
---|
44 | \headcommand {\sectionentry {3}{Construction of structured traces}{25}{Construction of structured traces}{0}} |
---|
45 | \headcommand {\beamer@sectionpages {17}{24}} |
---|
46 | \headcommand {\beamer@subsectionpages {17}{24}} |
---|
47 | \headcommand {\slideentry {3}{0}{6}{25/25}{}{0}} |
---|
48 | \headcommand {\beamer@framepages {25}{25}} |
---|
49 | \headcommand {\sectionentry {4}{Whole compiler}{26}{Whole compiler}{0}} |
---|
50 | \headcommand {\beamer@sectionpages {25}{25}} |
---|
51 | \headcommand {\beamer@subsectionpages {25}{25}} |
---|
52 | \headcommand {\slideentry {4}{0}{7}{26/26}{}{0}} |
---|
53 | \headcommand {\beamer@framepages {26}{26}} |
---|
54 | \headcommand {\slideentry {4}{0}{8}{27/28}{}{0}} |
---|
55 | \headcommand {\beamer@framepages {27}{28}} |
---|
56 | \headcommand {\beamer@partpages {1}{28}} |
---|
57 | \headcommand {\beamer@subsectionpages {26}{28}} |
---|
58 | \headcommand {\beamer@sectionpages {26}{28}} |
---|
59 | \headcommand {\beamer@documentpages {28}} |
---|
60 | \headcommand {\def \inserttotalframenumber {20}} |
---|