| 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}} |
|---|
