|
0
|
1 @inproceedings{agda,
|
|
|
2 author = {Norell, Ulf},
|
|
|
3 title = {Dependently Typed Programming in Agda},
|
|
|
4 booktitle = {Proceedings of the 4th International Workshop on Types in Language Design and Implementation},
|
|
|
5 series = {TLDI '09},
|
|
|
6 year = {2009},
|
|
|
7 isbn = {978-1-60558-420-1},
|
|
|
8 location = {Savannah, GA, USA},
|
|
|
9 pages = {1--2},
|
|
|
10 numpages = {2},
|
|
|
11 url = {http://doi.acm.org/10.1145/1481861.1481862},
|
|
|
12 doi = {10.1145/1481861.1481862},
|
|
|
13 acmid = {1481862},
|
|
|
14 publisher = {ACM},
|
|
|
15 address = {New York, NY, USA},
|
|
|
16 keywords = {dependent types, programming},
|
|
|
17 }
|
|
|
18
|
|
|
19 @manual{gcc,
|
|
|
20 author = "{GNU Compiler Collection (GCC) Internals}",
|
|
|
21 title ="{http://gcc.gnu.org/onlinedocs/gccint/}",
|
|
|
22 }
|
|
|
23
|
|
|
24 @article{weko_195888_1,
|
|
|
25 author = "坂本 昂弘 and 桃原 優 and 河野 真治",
|
|
|
26 title = "継続を用いたx.v6 kernelの書き換え",
|
|
|
27 year = "2019",
|
|
|
28 institution = "琉球大学工学部情報工学科, 琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科",
|
|
|
29 journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)",
|
|
|
30 number = "4",
|
|
|
31 month = "may"
|
|
|
32 }
|
|
|
33
|
|
|
34 @misc{xv6,
|
|
|
35 author = "{Russ Cox, Frans Kaashoek, Robert Morris}",
|
|
|
36 title = {xv6 a simple, Unix-like teaching operating system},
|
|
|
37 howpublished = {https://pdos.csail.mit.edu/6.828/2018/xv6/book-rev11.pdf},
|
|
|
38 }
|
|
|
39
|
|
|
40 @book{lions1996lions,
|
|
|
41 title={Lions' Commentary on UNIX 6th Edition with Source Code},
|
|
|
42 author={Lions, J.},
|
|
|
43 isbn={9781573980135},
|
|
|
44 lccn={55015401},
|
|
|
45 series={Computer classics revisited},
|
|
|
46 url={https://books.google.co.jp/books?id=OlZ3QgAACAAJ},
|
|
|
47 year={1996},
|
|
|
48 publisher={Peer-to-Peer Communications}
|
|
|
49 } |
