|
6
|
1 @article{cbc,
|
|
|
2 author = "Kaito TOKKMORI and Shinji KONO",
|
|
|
3 title = "Implementing Continuation based language in LLVM and Clang",
|
|
|
4 journal = "LOLA 2015",
|
|
|
5 month = "July",
|
|
|
6 year = 2015
|
|
|
7 }
|
|
|
8
|
|
9
|
9 @manual{arm,
|
|
|
10 author = "{ARM Architecture Reference Manual}",
|
|
|
11 title = "{http://infocenter.arm.com/help/topic/com.arm.\\doc.subset.architecture.reference/index.html}"
|
|
|
12 }
|
|
|
13
|
|
|
14
|
|
6
|
15 @misc{xv6,
|
|
9
|
16 title={Xv6, a simple Unix-like teaching operating system},
|
|
|
17 author={Cox, Russ and Kaashoek, M Frans and Morris, Robert},
|
|
|
18 journal={2013-09-05]. http://pdos. csail. mit. edu/6.828/2012/xv6. html},
|
|
|
19 year={2011},
|
|
|
20 note = "(2020年2月7日閲覧)"
|
|
6
|
21 }
|
|
|
22
|
|
|
23 @InProceedings{llvm,
|
|
|
24 author = {Chris Lattner and Vikram Adve},
|
|
|
25 title = "{LLVM: A Compilation Framework for Lifelong Program Analysis \& Transformation}",
|
|
|
26 booktitle = "{Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO'04)}",
|
|
|
27 address = {Palo Alto, California},
|
|
|
28 month = {Mar},
|
|
|
29 year = {2004}
|
|
|
30 }
|
|
|
31
|
|
|
32 @manual{gcc,
|
|
|
33 author = "{GNU Compiler Collection (GCC) Internals}",
|
|
|
34 title ="{http://gcc.gnu.org/onlinedocs/gccint/}",
|
|
|
35 }
|
|
|
36
|
|
9
|
37 @article{kaito-lola,
|
|
|
38 author = "Kaito, Tokumori and Shinji, Kono",
|
|
|
39 title = "Implementing Continuation based language in LLVM and Clang",
|
|
|
40 journal = "LOLA 2015, Kyoto",
|
|
|
41 month = "July",
|
|
|
42 year = 2015
|
|
|
43
|
|
|
44 }
|
|
|
45
|
|
|
46 @inproceedings{nobu-prosym,
|
|
|
47 author = "大城信康 and 河野真治",
|
|
|
48 title = "Continuation based C の GCC4.6 上の実装について",
|
|
|
49 booktitle = "第53回プログラミング・シンポジウム予稿集",
|
|
|
50 year = "2012",
|
|
|
51 volume = "2012",
|
|
|
52 pages = "69--78",
|
|
|
53 month = "jan"
|
|
|
54
|
|
|
55 }
|
|
|
56
|
|
12
|
57 @article{
|
|
|
58 gears,
|
|
|
59 author = "河野 真治 and 伊波 立樹 and 東恩納 琢偉",
|
|
|
60 title = "Code Gear、Data Gear に基づく OS のプロトタイプ",
|
|
|
61 journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)",
|
|
|
62 month = "May",
|
|
|
63 year = 2016
|
|
|
64 }
|
|
|
65
|
|
6
|
66 @article{GearsOS,
|
|
|
67 author = "伊波立樹 and 河野真治",
|
|
|
68 title = "Gears OS の並列処理",
|
|
|
69 journal = "琉球大学工学部情報工学科平成30年度学位論文(修士)",
|
|
|
70 year = 2018
|
|
|
71 }
|
|
|
72
|
|
|
73 @article{CbC2,
|
|
|
74 author = "宮城光希 and 河野真治",
|
|
|
75 title = "継続を基本とした言語による OS のモジュール化",
|
|
|
76 journal = "琉球大学工学部情報工学科平成31年度学位論文(修士)",
|
|
|
77 year = 2019
|
|
|
78 }
|
