Mercurial > hg > Papers > 2017 > atton-master
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{スタックの実装の検証} +