Mercurial > hg > Papers > 2022 > pine-thesis
comparison paper/text/reference.tex @ 10:884ba6158dd6
add describe for transpiler
| author | Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Sun, 30 Jan 2022 23:34:06 +0900 |
| parents | e9a5e4c881e4 |
| children | 538bcf79ca64 |
comparison
equal
deleted
inserted
replaced
| 9:48187f47422f | 10:884ba6158dd6 |
|---|---|
| 2 \bibitem{agda} Ulf Norell. Dependently typed programming in agda. pp. 1\\UTF{2013}2, 2009 | 2 \bibitem{agda} Ulf Norell. Dependently typed programming in agda. pp. 1\\UTF{2013}2, 2009 |
| 3 \bibitem{gdb} https://www.gnu.org/software/gdb/ | 3 \bibitem{gdb} https://www.gnu.org/software/gdb/ |
| 4 \bibitem{lldb} https://lldb.llvm.org/ | 4 \bibitem{lldb} https://lldb.llvm.org/ |
| 5 \bibitem{cbc_kono} 河野真治. 継続を持つ c の下位言語によるシステム記述. 日本ソフトウェア科学会第 17 回大会, 2000. | 5 \bibitem{cbc_kono} 河野真治. 継続を持つ c の下位言語によるシステム記述. 日本ソフトウェア科学会第 17 回大会, 2000. |
| 6 \bibitem{GearsOS} 河野真治, 伊波立樹, 東恩納琢偉. Code gear、data gear に基づく os のプロトタイ プ. 情報処理学会システムソフトウェアとオペレーティング・システム研究会 (OS), May 2016. | 6 \bibitem{GearsOS} 河野真治, 伊波立樹, 東恩納琢偉. Code gear、data gear に基づく os のプロトタイ プ. 情報処理学会システムソフトウェアとオペレーティング・システム研究会 (OS), May 2016. |
| 7 \bibitem{transpiler} 清水隆博. GearsOSのメタ計算. 琉球大学大学院理工学研究科情報工学専攻修士論文, pp.68, March 2021. | |
| 8 \bibitem{generate_stub} 清水隆博. GearsOSのメタ計算. 琉球大学大学院理工学研究科情報工学専攻修士論文, pp.32, March 2021. | |
| 7 \bibitem{ikkunMaster} 東恩納琢偉. GearsOS におけるモデル検査を実現する手法について. 琉球大学大学院理工学研究科情報工学専攻修士論文, March2021. | 9 \bibitem{ikkunMaster} 東恩納琢偉. GearsOS におけるモデル検査を実現する手法について. 琉球大学大学院理工学研究科情報工学専攻修士論文, March2021. |
| 8 \bibitem{meta.pm} 清水隆博. GearsOSのメタ計算. 琉球大学大学院理工学研究科情報工学専攻修士論文, pp.77, March 2021. | 10 \bibitem{meta.pm} 清水隆博. GearsOSのメタ計算. 琉球大学大学院理工学研究科情報工学専攻修士論文, pp.77, March 2021. |
| 11 \bibitem{parusuMaster} 伊波 立樹. Gears OSの並列処理. 琉球大学大学院理工学研究科情報工学専攻修士論文, March 2018. | |
| 9 | 12 |
| 10 \end{thebibliography} | 13 \end{thebibliography} |