Mercurial > hg > Papers > 2021 > ikkun-master

comparison reference.bib @ 0:36dcba72eb2f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add
author ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
date Sat, 13 Feb 2021 22:14:15 +0900
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:36dcba72eb2f
1
2
3 @article{agda,
4 author = {Norell, Ulf},
5 title = {Dependently Typed Programming in Agda},
6 booktitle = {Proceedings of the 4th International Workshop on Types in Language Design and Implementation},
7 series = {TLDI '09},
8 year = {2009},
9 isbn = {978-1-60558-420-1},
10 location = {Savannah, GA, USA},
11 pages = {1--2},
12 numpages = {2},
13 doi = {10.1145/1481861.1481862},
14 acmid = {1481862},
15 publisher = {ACM},
16 address = {New York, NY, USA},
17 keywords = {dependent types, programming},
18 }
19
20
21
22 @article{xv6,
23 author = "坂本 昂弘 and 桃原 優 and 河野 真治",
24 title = "継続を用いたx.v6 kernelの書き換え",
25 year = "2019",
26 institution = "琉球大学工学部情報工学科, 琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科",
27 journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)",
28 number = "4",
29 month = "may"
30 }
31
32 @article{
33 gearsOS2,
34 author = "宮城　光希 and 桃原　優 and 河野真治",
35 title = {Code Gear と Data Gear を持つ Gears OS の設計},
36 journal = {第59回プログラミング・シンポジウム},
37 month = "Jan",
38 year = 2018
39 }
40 @article{
41 tauble,
42 author = "下地篤樹 and 河野真治",
43 title = {タブロー法を用いたContinuation based C プログラムの検証},
44 journal = {日本ソフトウェア科学会第23回大会},
45 year = 2006
46 }
47 @article{
48 CbC,
49 author = "河野真治",
50 title = {継続を持つCの下位言語によるシステム記述},
51 journal = {日本ソフトウェア科学会第17回大会},
52 year = 2000
53 }
54 @article{
55 tauble2,
56 author = "比嘉 薫 and 河野真治",
57 title = {タブロー法の負荷分散について},
58 journal = {日本ソフトウェア科学会第18回論文集},
59 year = 2001
60 }
61 @article{
62 agda-ryokka,
63 author = "外間政尊 and 河野真治",
64 title = "GearsOS の Hoare Logic をべースにした検証手法",
65 journal = "ソフトウェアサイエンス研究会",
66 month = "Jan",
67 year = 2019
68 }
69
70 @article{
71 gears,
72 author = "河野 真治 and 伊波 立樹 and 東恩納 琢偉",
73 title = "Code Gear、Data Gear に基づく OS のプロトタイプ",
74 journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)",
75 month = "May",
76 year = 2016
77 }
78 @article{
79 llvmcbc,
80 author = "Kaito TOKKMORI and Shinji KONO",
81 title = "Implementing Continuation based language in LLVM and Clang",
82 journal = "LOLA 2015",
83 month = "July",
84 year = 2015
85 }
86
87
88 @article{extensionIceframework,
89 author = "{Adrien Champion, Tomoya Chiba, Naoki Kobayashi and Ryosuke Sato}",
90 title = "{ICE-based Refinement Type Discovery for Higher-Order Functional Programs}",
91 journal ="TACAS 2018",
92 year = {2018},
93 }
94
95 @article{HigherOrder,
96 author = "{Naoki Kobayashi, Takeshi Tsukada, and Keiichi Watanabe}",
97 title = "{Higher-Order Program Verification via HFL Model Checking}",
98 journal ="ESOP 2018",
99 year = {2018},
100 }
101
102
103 @inproceedings{EdmundM,
104 author = "{Edmund M. Clarke, Jr}",
105 booktitle = "{Model Checking, Second Edition}",
106 year = {2018},}
107
108 @misc{graph,
109 author = "{蓮尾 一郎}",
110 pagetitle = "{モデル検査入門}",
111 year = {2009},
112 URL = {http://www.kurims.kyoto-u.ac.jp/~cs/lecture2009/lecture09ModelChecking.pdf},}