|
0
|
1 \relax
|
|
|
2 \@writefile{toc}{\contentsline {chapter}{\numberline {第1章}メタ計算の重要性}{1}}
|
|
|
3 \@writefile{lof}{\addvspace {10\p@ }}
|
|
|
4 \@writefile{lot}{\addvspace {10\p@ }}
|
|
|
5 \newlabel{chap:introduction}{{1}{1}}
|
|
|
6 \@writefile{toc}{\contentsline {chapter}{\numberline {第2章}Continuation based C (CbC)}{2}}
|
|
|
7 \@writefile{lof}{\addvspace {10\p@ }}
|
|
|
8 \@writefile{lot}{\addvspace {10\p@ }}
|
|
|
9 \@writefile{toc}{\contentsline {section}{\numberline {2.1}Continuation based C (CbC)}{2}}
|
|
|
10 \@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces goto による code gear 間の継続}}{2}}
|
|
|
11 \newlabel{fig:cs}{{2.1}{2}}
|
|
|
12 \@writefile{toc}{\contentsline {section}{\numberline {2.2}Code Gear}{2}}
|
|
|
13 \newlabel{code_simple}{{2.1}{2}}
|
|
|
14 \@writefile{lol}{\contentsline {lstlisting}{\numberline {2.1}\relax \fontsize {10}{12}\selectfont \abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6\p@ plus3\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 6\p@ plus2\p@ minus2\p@ \parsep 3\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip code segment の軽量継続}{2}}
|
|
|
15 \@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces code segment の軽量継続}}{3}}
|
|
|
16 \newlabel{fig:code_simple}{{2.2}{3}}
|
|
4
|
17 \newlabel{factorial}{{2.2}{3}}
|
|
|
18 \@writefile{lol}{\contentsline {lstlisting}{\numberline {2.2}\relax \fontsize {10}{12}\selectfont \abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6\p@ plus3\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 6\p@ plus2\p@ minus2\p@ \parsep 3\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip 階乗を求める CbC プログラムの例}{3}}
|
|
0
|
19 \@writefile{toc}{\contentsline {section}{\numberline {2.3}環境付き継続}{3}}
|
|
4
|
20 \newlabel{gotoWithTheEnv}{{2.3}{4}}
|
|
|
21 \@writefile{lol}{\contentsline {lstlisting}{\numberline {2.3}環境付き継続}{4}}
|
|
0
|
22 \@writefile{lof}{\contentsline {figure}{\numberline {2.3}{\ignorespaces 環境付き継続}}{4}}
|
|
|
23 \newlabel{fig:gotoWithTheEnv}{{2.3}{4}}
|
|
4
|
24 \@writefile{toc}{\contentsline {chapter}{\numberline {第3章}Gears OS}{6}}
|
|
|
25 \@writefile{lof}{\addvspace {10\p@ }}
|
|
|
26 \@writefile{lot}{\addvspace {10\p@ }}
|
|
|
27 \@writefile{toc}{\contentsline {section}{\numberline {3.1}Gears OS}{6}}
|
|
|
28 \@writefile{toc}{\contentsline {section}{\numberline {3.2}Context}{6}}
|
|
|
29 \@writefile{toc}{\contentsline {section}{\numberline {3.3}Meta Code Gear}{6}}
|
|
|
30 \@writefile{lof}{\contentsline {figure}{\numberline {3.1}{\ignorespaces meta computation}}{7}}
|
|
|
31 \newlabel{fig:metaCS}{{3.1}{7}}
|
|
|
32 \@writefile{toc}{\contentsline {section}{\numberline {3.4}stub Code Gear}{7}}
|
|
|
33 \@writefile{toc}{\contentsline {section}{\numberline {3.5}CbC による Gears OS の構文サポート}{7}}
|
|
|
34 \@writefile{toc}{\contentsline {section}{\numberline {3.6}interface の記述}{7}}
|
|
|
35 \newlabel{interface}{{3.1}{7}}
|
|
|
36 \@writefile{lol}{\contentsline {lstlisting}{\numberline {3.1}stack の interface}{7}}
|
|
|
37 \@writefile{toc}{\contentsline {chapter}{\numberline {第4章}LLVM/clang による CbC の実装}{8}}
|
|
0
|
38 \@writefile{lof}{\addvspace {10\p@ }}
|
|
|
39 \@writefile{lot}{\addvspace {10\p@ }}
|
|
4
|
40 \@writefile{toc}{\contentsline {section}{\numberline {4.1}LLVM clang}{8}}
|
|
|
41 \@writefile{toc}{\contentsline {section}{\numberline {4.2}clang の基本構造}{8}}
|
|
|
42 \newlabel{sec:clang}{{4.2}{8}}
|
|
|
43 \@writefile{toc}{\contentsline {section}{\numberline {4.3}LLVM の基本構造}{9}}
|
|
|
44 \@writefile{lof}{\contentsline {figure}{\numberline {4.1}{\ignorespaces LLVM の 処理過程}}{10}}
|
|
|
45 \newlabel{fig:llvmProcess}{{4.1}{10}}
|
|
|
46 \@writefile{toc}{\contentsline {section}{\numberline {4.4}LLVM/clang のデバッグ}{10}}
|
|
|
47 \newlabel{ir_a}{{4.1}{10}}
|
|
|
48 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.1}\relax \fontsize {10}{12}\selectfont \abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6\p@ plus3\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 6\p@ plus2\p@ minus2\p@ \parsep 3\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip LLVM IR コード 修正前}{10}}
|
|
|
49 \newlabel{ir_b}{{4.2}{11}}
|
|
|
50 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.2}\relax \fontsize {10}{12}\selectfont \abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6\p@ plus3\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 6\p@ plus2\p@ minus2\p@ \parsep 3\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip LLVM IR コード 修正後}{11}}
|
|
|
51 \@writefile{toc}{\contentsline {chapter}{\numberline {第5章}Context、stub の自動生成}{12}}
|
|
0
|
52 \@writefile{lof}{\addvspace {10\p@ }}
|
|
|
53 \@writefile{lot}{\addvspace {10\p@ }}
|
|
4
|
54 \@writefile{toc}{\contentsline {section}{\numberline {5.1}stub の生成}{12}}
|
|
|
55 \@writefile{toc}{\contentsline {section}{\numberline {5.2}Context の生成}{12}}
|
|
|
56 \newlabel{context}{{5.1}{12}}
|
|
|
57 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}\relax \fontsize {10}{12}\selectfont \abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6\p@ plus3\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 6\p@ plus2\p@ minus2\p@ \parsep 3\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip context の定義}{12}}
|
|
|
58 \newlabel{init_context}{{5.2}{14}}
|
|
|
59 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}\relax \fontsize {10}{12}\selectfont \abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6\p@ plus3\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 6\p@ plus2\p@ minus2\p@ \parsep 3\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip 生成された context}{14}}
|
|
|
60 \@writefile{toc}{\contentsline {chapter}{\numberline {第6章}今後の課題}{16}}
|
|
0
|
61 \@writefile{lof}{\addvspace {10\p@ }}
|
|
|
62 \@writefile{lot}{\addvspace {10\p@ }}
|
