Mercurial > hg > Papers > 2020 > anatofuz-sigos

comparison paper/anatofuz-bib.bib @ 49:72805ecaa331

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Thu, 07 May 2020 19:10:57 +0900
parents 567288b8a89e
children
comparison
equal deleted inserted replaced
48:567288b8a89e 49:72805ecaa331
16 title = "Implementing Continuation based language in LLVM and Clang", 16 title = "Implementing Continuation based language in LLVM and Clang",
17 journal = "LOLA 2015", 17 journal = "LOLA 2015",
18 month = "July", 18 month = "July",
19 year = 2015 19 year = 2015
20 } 20 }
21
22 @article{moggi-monad,
23 author = {Moggi, Eugenio},
24 title = {Notions of Computation and Monads},
25 journal = {Inf. Comput.},
26 issue_date = {July 1991},
27 volume = {93},
28 number = {1},
29 month = jul,
30 year = {1991},
31 issn = {0890-5401},
32 pages = {55--92},
33 numpages = {38},
34 url = {http://dx.doi.org/10.1016/0890-5401(91)90052-4},
35 doi = {10.1016/0890-5401(91)90052-4},
36 acmid = {116984},
37 publisher = {Academic Press, Inc.},
38 address = {Duluth, MN, USA},
39
40 }
41
42 21
43 22
44 @inproceedings{Yang:2010:SLI:1806596.1806610, 23 @inproceedings{Yang:2010:SLI:1806596.1806610,
45 author = {Yang, Jean and Hawblitzel, Chris}, 24 author = {Yang, Jean and Hawblitzel, Chris},
46 title = {Safe to the Last Instruction: Automated Verification of a Type-safe Operating System}, 25 title = {Safe to the Last Instruction: Automated Verification of a Type-safe Operating System},
176 journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)", 155 journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)",
177 month = "May", 156 month = "May",
178 year = 2016 157 year = 2016
179 } 158 }
180 159
181 @manual{arm,
182 author = "{ARM Architecture Reference Manual}",
183 title = "{http://infocenter.arm.com/help/topic/com.arm.\\doc.subset.architecture.reference/index.html}"
184 }
185
186 @misc{xv6, 160 @misc{xv6,
187 author = "{Russ Cox, Frans Kaashoek, Robert Morris}", 161 author = "{Russ Cox, Frans Kaashoek, Robert Morris}",
188 title = {xv6 a simple, Unix-like teaching operating system}, 162 title = {xv6 a simple, Unix-like teaching operating system},
189 howpublished = {https://pdos.csail.mit.edu/6.828/2018/xv6/book-rev11.pdf}, 163 howpublished = {https://pdos.csail.mit.edu/6.828/2018/xv6/book-rev11.pdf},
190 } 164 }
191
192 165
193 166
194 @inproceedings{Chen:2015:UCH:2815400.2815402, 167 @inproceedings{Chen:2015:UCH:2815400.2815402,
195 author = {Chen, Haogang and Ziegler, Daniel and Chajed, Tej and Chlipala, Adam and Kaashoek, M. Frans and Zeldovich, Nickolai}, 168 author = {Chen, Haogang and Ziegler, Daniel and Chajed, Tej and Chlipala, Adam and Kaashoek, M. Frans and Zeldovich, Nickolai},
196 title = {Using Crash Hoare Logic for Certifying the FSCQ File System}, 169 title = {Using Crash Hoare Logic for Certifying the FSCQ File System},