diff paper/cbc-type.tex @ 57:3f58377a9f59

Split cbc-type.tex
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Wed, 01 Feb 2017 13:27:58 +0900 (2017-02-01)
parents
children 68bf744d726e
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/cbc-type.tex	Wed Feb 01 13:27:58 2017 +0900
@@ -0,0 +1,11 @@
+\chapter{Agda における Continuation based C の表現}
+\label{chapter:cbc-type}
+\section{CodeSegment の定義}
+\section{DataSegment の定義}
+\section{ノーマルレベル計算の実行}
+\section{MetaCodeSegment の定義}
+\section{MetaDataSegment の定義}
+\section{メタレベル計算の実行}
+\section{Agda を用いたContinuation based C の検証}
+\section{スタックの実装の検証}
+