|
2
|
1 \begin{thebibliography}{99}
|
|
|
2 \bibitem{bib:kono-april-2008}
|
|
|
3 河野真治. ``Implementing Continuation based language in GCC''
|
|
|
4 Continuation Festa 2008, April, 2008
|
|
|
5 \bibitem{bib:kono-march-2008}
|
|
|
6 河野真治. ``検証を自身で表現できるハードウェア、ソフトウェア記述言
|
|
|
7 語 Continuation based C と、そのCell への応用''.
|
|
|
8 電子情報通信学会VLSI設計技術研究会, March, 2008
|
|
|
9 \bibitem{bib:kinjo-master-2005}
|
|
|
10 金城拓実. ``軽量継続を用いたゲームプログラムの分割と再構成の考察''.
|
|
|
11 琉球大学理工学研究科情報工学専攻 平成17年度学位論文, 2006.
|
|
|
12 \bibitem{bib:gongo-master-2008}
|
|
|
13 宮國渡. ``Cell用のFine-Grain Task Managerの実装''.
|
|
|
14 琉球大学理工学研究科情報工学専攻 平成20年度学位論文, 2009.
|
|
|
15 \bibitem{bib:shimoji-2006}
|
|
|
16 下地篤樹, 河野真治. ``タブロー法を用いたContinuation based Cプログラムの検証''.
|
|
|
17 日本ソフトウェア科学会第23回大会, 2006.
|
|
|
18 \bibitem{bib:shimoji-2007}
|
|
|
19 下地篤樹, 河野真治. ``線形時相論理によるContinuation based Cプログラムの検証''.
|
|
|
20 情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), April, 2007.
|
|
|
21 \bibitem{bib:kinjo-2004}
|
|
|
22 金城拓実, 河野真治.
|
|
|
23 ``ゲームプログラムからの一部の仕様の抽出に関する考察''.
|
|
|
24 日本ソフトウェア科学会第22回大会論文集, Sep, 2005
|
|
|
25 \bibitem{bib:kinjo-2004}
|
|
|
26 金城拓実, 河野真治.
|
|
|
27 ``ゲームプログラムの シナリオに基づいた状態遷移系を生成するシステムの提案''.
|
|
|
28 日本ソフトウェア科学会第21回大会論文集, Sep, 2004
|
|
|
29 \bibitem{bib:kent-2008}
|
|
|
30 与儀健人, 河野真治.
|
|
|
31 ``Continuation based CコンパイラのGCC-4.2による実装''
|
|
|
32 情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), April, 2008
|
|
|
33 \bibitem{bib:nestedfunc}
|
|
|
34 ``Nested Function''.
|
|
|
35 http://gcc.gnu.org/onlinedocs/gcc/Nested-Functions.html
|
|
|
36
|
|
|
37 \end{thebibliography}
|
