Mercurial > hg > Papers > 2022 > pine-thesis
diff 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 |
line wrap: on
line diff
--- a/paper/text/reference.tex Sun Jan 30 16:17:20 2022 +0900 +++ b/paper/text/reference.tex Sun Jan 30 23:34:06 2022 +0900 @@ -4,7 +4,10 @@ \bibitem{lldb} https://lldb.llvm.org/ \bibitem{cbc_kono} 河野真治. 継続を持つ c の下位言語によるシステム記述. 日本ソフトウェア科学会第 17 回大会, 2000. \bibitem{GearsOS} 河野真治, 伊波立樹, 東恩納琢偉. Code gear、data gear に基づく os のプロトタイ プ. 情報処理学会システムソフトウェアとオペレーティング・システム研究会 (OS), May 2016. +\bibitem{transpiler} 清水隆博. GearsOSのメタ計算. 琉球大学大学院理工学研究科情報工学専攻修士論文, pp.68, March 2021. +\bibitem{generate_stub} 清水隆博. GearsOSのメタ計算. 琉球大学大学院理工学研究科情報工学専攻修士論文, pp.32, March 2021. \bibitem{ikkunMaster} 東恩納琢偉. GearsOS におけるモデル検査を実現する手法について. 琉球大学大学院理工学研究科情報工学専攻修士論文, March2021. \bibitem{meta.pm} 清水隆博. GearsOSのメタ計算. 琉球大学大学院理工学研究科情報工学専攻修士論文, pp.77, March 2021. +\bibitem{parusuMaster} 伊波 立樹. Gears OSの並列処理. 琉球大学大学院理工学研究科情報工学専攻修士論文, March 2018. \end{thebibliography}