Mercurial > hg > Papers > 2014 > kaito_mid_thesis

changeset 8:585966e079c6 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minor fix
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Wed, 06 Nov 2013 19:42:21 +0900
parents 4d9505a5e2ef
children
files 2013_mid.tex
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/2013_mid.tex	Wed Nov 06 18:59:36 2013 +0900
+++ b/2013_mid.tex	Wed Nov 06 19:42:21 2013 +0900
@@ -29,7 +29,7 @@
 
 \section{研究目的}
 当研究室では, プログラムをコードセグメント, データセグメントという単位を用いて書くという手法を提案している. その手法を用いてプログラミングを行う言語として Continuation based C (以下CbC) を開発しており, これは C の下位の言語になる. CbC においてコードセグメント間の移動は goto 文を用いた軽量継続によって行われ, Tail Call Elimination という最適化の強制によってこれが実現される. 
-本研究では, CbC のコンパイラ開発を LLVM/clang をベースに行う. 
+本研究では, LLVM/clang 上での CbC コンパイラの開発を行う. 
 
 \section{Continuation based C (CbC)}
 CbC のプログラムでは C の関数の代わりにコードセグメントを用いて処理を記述し, コードセグメント間の移動に goto (軽量継続) を用いる. 
@@ -91,7 +91,7 @@
 \section{現状及び今後の課題}
 %現在までに行った実装は, LLVM BitCode に手を加えていない. 
 今後は未実装である環境付き継続の実装を行う. 
-環境付き継続の実装案には複数あり, 例えばGCC 版の CbC コンパイラでは内部関数を用いることで環境付き継続を実現している. この他には setjmp , longjmp を用いた実装案, Exception を用いた実装案, LLVM BitCodeを用いた実装案がある. 
+環境付き継続の実装案には複数あり, 例えばGCC 版の CbC コンパイラでは内部関数を用いることで環境付き継続を実現している. この他には setjmp , longjmp を用いた実装案, Exception を用いた実装案がある. 
 また, データセグメント部分のシンタックスの考案, コンパイラへの実装も行う予定である. 
 
 \begin{thebibliography}{9}