|
10
|
1 @misc{cbc-gcc,
|
|
|
2 title = {Hoare Logic - 並列信頼研 mercurial repository},
|
|
|
3 howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/ryokka/HoareLogic/}},
|
|
11
|
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 }
|
