Mercurial > hg > Papers > 2022 > pine-thesis
annotate paper/text/reference.tex @ 6:e9a5e4c881e4
fix reference
author | Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 29 Jan 2022 20:43:08 +0900 (2022-01-29) |
parents | 82fe279ce2cd |
children | 884ba6158dd6 |
rev | line source |
---|---|
0
c1b0c73d36ce
add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1 \begin{thebibliography}{99} |
3
82fe279ce2cd
add abstruct and summary
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
2
diff
changeset
|
2 \bibitem{agda} Ulf Norell. Dependently typed programming in agda. pp. 1\\UTF{2013}2, 2009 |
0
c1b0c73d36ce
add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3 \bibitem{gdb} https://www.gnu.org/software/gdb/ |
c1b0c73d36ce
add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4 \bibitem{lldb} https://lldb.llvm.org/ |
3
82fe279ce2cd
add abstruct and summary
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
2
diff
changeset
|
5 \bibitem{cbc_kono} 河野真治. 継続を持つ c の下位言語によるシステム記述. 日本ソフトウェア科学会第 17 回大会, 2000. |
6
e9a5e4c881e4
fix reference
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
3
diff
changeset
|
6 \bibitem{GearsOS} 河野真治, 伊波立樹, 東恩納琢偉. Code gear、data gear に基づく os のプロトタイ プ. 情報処理学会システムソフトウェアとオペレーティング・システム研究会 (OS), May 2016. |
0
c1b0c73d36ce
add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
7 \bibitem{ikkunMaster} 東恩納琢偉. GearsOS におけるモデル検査を実現する手法について. 琉球大学大学院理工学研究科情報工学専攻修士論文, March2021. |
2
1ba2a1f7c4e5
Add descriptions of existing debugger
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
8 \bibitem{meta.pm} 清水隆博. GearsOSのメタ計算. 琉球大学大学院理工学研究科情報工学専攻修士論文, pp.77, March 2021. |
0
c1b0c73d36ce
add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
9 |
c1b0c73d36ce
add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
10 \end{thebibliography} |