Mercurial > hg > Papers > 2019 > menikon-midterm
view reference.bib @ 12:da87ba72714a
pre complete
author | e165723 <e165723@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 23 Oct 2019 00:35:44 +0900 |
parents | 65f4eae5a960 |
children | 66ef03cf117b |
line wrap: on
line source
@misc{xv6, title = "{Xv6, a simple Unix-like teaching operating system}", note = "(2019年10月19日閲覧)", howpublished = {\url{https://pdos.csail.mit.edu/6.828/2019/xv6.html}}, } @article{GearsOS, author = "伊波立樹 and 河野真治", title = "Gears OS の並列処理", journal = "琉球大学工学部情報工学科平成30年度学位論文(修士)", year = 2018 } @article{CbC, author = "宮城光希 and 河野真治", title = "継続を基本とした言語による OS のモジュール化", journal = "琉球大学工学部情報工学科平成31年度学位論文(修士)", year = 2019 } @article{ agda-ryokka, author = "Hokama MASATAKA and Shinji KONO", title = "GearsOS の Hoare Logic をベースにした検証手法", journal = "ソフトウェアサイエンス研究会", month = "Jan", year = 2019 } @inproceedings{agda, author = {Norell, Ulf}, title = {Dependently Typed Programming in Agda}, booktitle = {Proceedings of the 4th International Workshop on Types in Language Design and Implementation}, series = {TLDI '09}, year = {2009}, isbn = {978-1-60558-420-1}, location = {Savannah, GA, USA}, pages = {1--2}, numpages = {2}, url = {http://doi.acm.org/10.1145/1481861.1481862}, doi = {10.1145/1481861.1481862}, acmid = {1481862}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {dependent types, programming}, } @inproceedings{Chen:2015:UCH:2815400.2815402, author = {Chen, Haogang and Ziegler, Daniel and Chajed, Tej and Chlipala, Adam and Kaashoek, M. Frans and Zeldovich, Nickolai}, title = {Using Crash Hoare Logic for Certifying the FSCQ File System}, booktitle = {Proceedings of the 25th Symposium on Operating Systems Principles}, series = {SOSP '15}, year = {2015}, isbn = {978-1-4503-3834-9}, location = {Monterey, California}, pages = {18--37}, numpages = {20}, url = {http://doi.acm.org/10.1145/2815400.2815402}, doi = {10.1145/2815400.2815402}, acmid = {2815402}, publisher = {ACM}, address = {New York, NY, USA}, }