@techreport{ryokka-sigos, author = "外間,政尊 and 河野,真治", title = "GearsOSのAgdaによる記述と検証", year = "2018", institution = "琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科", number = "5", month = "may" } @misc{agda-wiki, title = {The Agda wiki}, howpublished = {\url{http://wiki.portal.chalmers.se/agda/pmwiki.php}}, } @book{Stump:2016:VFP:2841316, author = {Stump, Aaron}, title = {Verified Functional Programming in Agda}, year = {2016}, isbn = {978-1-97000-127-3}, publisher = {Association for Computing Machinery and Morgan \&\#38; Claypool}, address = {New York, NY, USA}, } @mastersthesis{atton-master, author = "比嘉健太", title = "メタ計算を用いた Continuation based C の検証手法", school = "琉球大学 大学院理工学研究科 情報工学専攻", year = "2017" } @mastersthesis{parusu-master, author = "伊波立樹", title = "Gears OS の並列処理", school = "琉球大学 大学院理工学研究科 情報工学専攻", year = "2018" } @article{kaito-lola, author = "Kaito, Tokumori and Shinji, Kono", title = "Implementing Continuation based language in LLVM and Clang", journal = "LOLA 2015, Kyoto", month = "July", year = 2015 } @article{hoare, author = {Hoare, C. A. R.}, title = {An Axiomatic Basis for Computer Programming}, year = {1969}, issue_date = {October 1969}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, volume = {12}, number = {10}, issn = {0001-0782}, url = {https://doi.org/10.1145/363235.363259}, doi = {10.1145/363235.363259}, journal = {Commun. ACM}, month = oct, pages = {576–580}, numpages = {5}, keywords = {programming language design, theory of programming’ proofs of programs, machine-independent programming, program documentation, axiomatic method, formal language definition} }