Mercurial > hg > Papers > 2020 > soto-midterm

comparison soto.bib @ 11:a8bc8c6b48bd default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author soto@cr.ie.u-ryukyu.ac.jp
date Tue, 15 Sep 2020 07:06:29 +0900
parents c162ca9b997e
children
comparison
equal deleted inserted replaced
10:c162ca9b997e 11:a8bc8c6b48bd
1 @misc{cbc-gcc, 1 @misc{cbc-gcc,
2 title = {Hoare Logic - 並列信頼研 mercurial repository}, 2 title = {Hoare Logic - 並列信頼研 mercurial repository},
3 howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/ryokka/HoareLogic/}}, 3 howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/ryokka/HoareLogic/}},
4 note = {Accessed: 2020/2/9(Sun)},} 4 note = {Accessed: 2020/09/10},}
5
6
7 @mastersthesis{ryokka-master,
8 author = "外間政尊",
9 title = "Continuation based C での Hoare Logic を用いた仕様記述と検証",
10 school = "琉球大学 大学院理工学研究科 情報工学専攻",
11 year = "2019"
12 }
13
14 @article{hoare,
15 author = {Hoare, C. A. R.},
16 title = {An Axiomatic Basis for Computer Programming},
17 year = {1969},
18 issue_date = {October 1969},
19 publisher = {Association for Computing Machinery},
20 address = {New York, NY, USA},
21 volume = {12},
22 number = {10},
23 issn = {0001-0782},
24 url = {https://doi.org/10.1145/363235.363259},
25 doi = {10.1145/363235.363259},
26 journal = {Commun. ACM},
27 month = oct,
28 pages = {576–580},
29 numpages = {5},
30 keywords = {programming language design, theory of programming’ proofs of programs, machine-independent programming, program documentation, axiomatic method, formal language definition}
31 }
32
33 @misc{agda-wiki,
34 title = {The Agda wiki},
35 howpublished = {\url{http://wiki.portal.chalmers.se/agda/pmwiki.php}},
36 note = {Accessed: 2020/09/10},
37 }
38
39 @misc{agda-documentation,
40 title = {Welcome to Agda’s documentation! — Agda latest documentation},
41 howpublished = {\url{http://agda.readthedocs.io/en/latest/}},
42 note = {Accessed: 2020/09/10},
43 }
44
45 @book{Stump:2016:VFP:2841316,
46 author = {Stump, Aaron},
47 title = {Verified Functional Programming in Agda},
48 year = {2016},
49 isbn = {978-1-97000-127-3},
50 publisher = {Association for Computing Machinery and Morgan \&\#38; Claypool},
51 address = {New York, NY, USA},
52 }
53
54 @mastersthesis{atton-master,
55 author = "比嘉健太",
56 title = "メタ計算を用いた Continuation based C の検証手法",
57 school = "琉球大学 大学院理工学研究科 情報工学専攻",
58 year = "2017"
59 }
60
61 @mastersthesis{utah-master,
62 author = "徳森海斗",
63 title = "LLVM Clang 上の Continuation based C コンパイラ の改良",
64 school = "琉球大学 大学院理工学研究科 情報工学専攻",
65 year = "2016"
66 }
67
68 @misc{rbtree,
69 title={データ構造と基本アルゴリズム},
70 author={渡邉},
71 year={2000},
72 publisher={共立出版}
73 }