Mercurial > hg > Papers > 2023 > soto-master

comparison Paper/reference.bib @ 1:a72446879486

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Init paper
author soto <soto@cr.ie.u-ryukyu.ac.jp>
date Thu, 12 Jan 2023 20:28:50 +0900
parents
children f52e5fd41f58
comparison
equal deleted inserted replaced
0:8df537cb6a18 1:a72446879486
1 @techreport{ryokka-sigos,
2 author = "外間,政尊 and 河野,真治",
3 title = "GearsOSのAgdaによる記述と検証",
4 year = "2018",
5 institution = "琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科",
6 number = "5",
7 month = "may"
8 }
9
10 @misc{agda-wiki,
11 title = {The Agda wiki},
12 howpublished = {\url{http://wiki.portal.chalmers.se/agda/pmwiki.php}},
13 }
14
15 @book{Stump:2016:VFP:2841316,
16 author = {Stump, Aaron},
17 title = {Verified Functional Programming in Agda},
18 year = {2016},
19 isbn = {978-1-97000-127-3},
20 publisher = {Association for Computing Machinery and Morgan \&\#38; Claypool},
21 address = {New York, NY, USA},
22 }
23
24 @mastersthesis{atton-master,
25 author = "比嘉健太",
26 title = "メタ計算を用いた Continuation based C の検証手法",
27 school = "琉球大学 大学院理工学研究科 情報工学専攻",
28 year = "2017"
29 }
30
31 @mastersthesis{parusu-master,
32 author = "伊波立樹",
33 title = "Gears OS の並列処理",
34 school = "琉球大学 大学院理工学研究科 情報工学専攻",
35 year = "2018"
36 }
37
38 @article{kaito-lola,
39 author = "Kaito, Tokumori and Shinji, Kono",
40 title = "Implementing Continuation based language in LLVM and Clang",
41 journal = "LOLA 2015, Kyoto",
42 month = "July",
43 year = 2015
44
45 }
46 @article{hoare,
47 author = {Hoare, C. A. R.},
48 title = {An Axiomatic Basis for Computer Programming},
49 year = {1969},
50 issue_date = {October 1969},
51 publisher = {Association for Computing Machinery},
52 address = {New York, NY, USA},
53 volume = {12},
54 number = {10},
55 issn = {0001-0782},
56 url = {https://doi.org/10.1145/363235.363259},
57 doi = {10.1145/363235.363259},
58 journal = {Commun. ACM},
59 month = oct,
60 pages = {576–580},
61 numpages = {5},
62 keywords = {programming language design, theory of programming’ proofs of programs, machine-independent programming, program documentation, axiomatic method, formal language definition}
63 }