Mercurial > hg > Papers > 2018 > ryokka-thesis

comparison final_pre/reference.bib @ 7:28f900230c26

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add final_pre
author ryokka
date Mon, 19 Feb 2018 23:32:24 +0900
parents
children 9af6c3636ea0
comparison
equal deleted inserted replaced
6:d927f6b3d2b3 7:28f900230c26
1 @Misc{Yasutaka:2016,
2 author = "{比嘉 健太, 河野 真治}",
3 title = "{メタ計算を用いた Continuation based C の検証手法}",
4 journal = "琉球大学工学部情報工学科平成 28 年度学位論文",
5 year = 2016
6 }
7
8 @Misc{Tatsuki:2016,
9 author = "{伊波 立樹, 東恩納 琢偉, 河野 真治}",
10 title = "{Code Gear 、Data Gear に基づく OS のプロトタイプ}",
11 journal = "{情報処理学会システムソフトウェアとオペレーティングシステム研究会}",
12 year = 2016
13 }
14
15 @Misc{kaito:2015,
16 author = "{徳森 海斗, 河野 真治}",
17 title = "{LLVM Clang 上の Continuation based C コンパイラ の改良}",
18 journal = "{琉球大学工学部情報工学科平成 27 年度学位論文}",
19 year = 2015
20 }
21
22 @misc{agda,
23 title = {The Agda wiki},
24 howpublished = {\url{http://wiki.portal.chalmers.se/agda/pmwiki.php}},
25 note = {Accessed: 2017/10/24(Tue)}
26 }
27
28
29 @misc{agda-documentation,
30 title = {Welcome to Agda’s documentation! — Agda 2.6.0 documentation},
31 howpublished = {\url{http://agda.readthedocs.io/en/latest/index.html}},
32 note = {Accessed: 2017/10/24(Tue)}
33 }