|
6
|
1 \begin{thebibliography}{1}
|
|
2
|
2
|
|
|
3 \bibitem{agda-wiki}
|
|
|
4 : The Agda wiki, \url{http://wiki.portal.chalmers.se/agda/pmwiki.php}.
|
|
|
5
|
|
|
6 \bibitem{kaito-lola}
|
|
|
7 Kaito, T. and Shinji, K.: Implementing Continuation based language in LLVM and
|
|
|
8 Clang, {\em LOLA 2015, Kyoto} (2015).
|
|
|
9
|
|
|
10 \bibitem{Stump:2016:VFP:2841316}
|
|
|
11 Stump, A.: {\em Verified Functional Programming in Agda}, Association for
|
|
|
12 Computing Machinery and Morgan \&\#38; Claypool, New York, NY, USA (2016).
|
|
|
13
|
|
|
14 \bibitem{parusu-master}
|
|
|
15 伊波立樹\：Gears OS の並列処理，修士論文，琉球大学 大学院理工学研究科
|
|
|
16 情報工学専攻 (2018).
|
|
|
17
|
|
|
18 \bibitem{ryokka-sigos}
|
|
|
19 政尊外間，真治河野\：GearsOSのAgdaによる記述と検証，技術報告
|
|
|
20 5，琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科 (2018).
|
|
|
21
|
|
|
22 \bibitem{atton-ipsj}
|
|
|
23 比嘉健太，河野真治\：Verification Method of Programs Using Continuation based
|
|
|
24 C, 情報処理学会論文誌プログラミング（PRO）， Vol.~10, No.~2, pp.\ 5--5
|
|
|
25 (online), \urle{https://ci.nii.ac.jp/naid/170000148438/en/} (2017).
|
|
|
26
|
|
|
27 \bibitem{utah-master}
|
|
|
28 徳森海斗\：LLVM Clang 上の Continuation based C コンパイラ
|
|
|
29 の改良，修士論文，琉球大学 大学院理工学研究科 情報工学専攻 (2016).
|
|
|
30
|
|
|
31 \bibitem{atton-master}
|
|
|
32 比嘉健太\：メタ計算を用いた Continuation based C の検証手法，修士論文，琉球大学
|
|
|
33 大学院理工学研究科 情報工学専攻 (2017).
|
|
|
34
|
|
|
35 \end{thebibliography}
|
