Mercurial > hg > Papers > 2017 > atton-master

annotate paper/reference.bib @ 23:925d7e02b712

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add bibliography
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 23 Jan 2017 10:00:41 +0900
parents 4307454b56bb
children 55f67e448dcc
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 @book{Girard:1989:PT:64805,
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 author = {Girard, Jean-Yves and Taylor, Paul and Lafont, Yves},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 title = {Proofs and Types},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 year = {1989},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 isbn = {0-521-37181-3},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 publisher = {Cambridge University Press},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 address = {New York, NY, USA},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 }
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 @book{opac-b1092711,
12
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
11 title = "Introduction to higher order categorical logic",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
12 author = "Lambek, Joachim (mathématicien) and Scott, P. J.",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
13 series = "Cambridge studies in advanced mathematics",
6
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 publisher = "Cambridge University Press",
12
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
15 address = "Cambridge, New York (N. Y.), Melbourne",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
16 url = "http://opac.inria.fr/record=b1092711",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
17 isbn = "0-521-24665-2",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
18 year = 1986
6
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 }
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 @book{BarrM:cattcs,
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 author = {Barr, Michael and Wells, Charles},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 title = {Category Theory for Computing Science},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 publisher = {Prentice-Hall},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 series = {International Series in Computer Science},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 year = 1990,
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 note = {Second edition, 1995},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 isbn = {0-13-120486-6},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 lccn = {QA76.9.M35B37 1990}
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 }
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 @article{Moggi:1991:NCM:116981.116984,
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 author = {Moggi, Eugenio},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 title = {Notions of Computation and Monads},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 journal = {Inf. Comput.},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 issue_date = {July 1991},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 volume = {93},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 number = {1},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 month = jul,
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 year = {1991},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 issn = {0890-5401},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 pages = {55--92},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 numpages = {38},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 url = {http://dx.doi.org/10.1016/0890-5401(91)90052-4},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 doi = {10.1016/0890-5401(91)90052-4},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 acmid = {116984},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 publisher = {Academic Press, Inc.},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 address = {Duluth, MN, USA},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 }
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
50
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 @techreport{JonesDuponcheel93,
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 author = {M. P. Jones and L. Duponcheel},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 title = {Composing monads},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 institution = {Yale University},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 year = {1993},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 month = {December},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 number = {YALEU/DCS/RR-1004},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 type = {Research Report},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 ftp = {ftp://ftp.cs.nott.ac.uk/nott-fp/reports/yale/RR-1004.ps}
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 }
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
61
12
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
62 @article{110009766999,
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
63 author="Kaito, Tokumori and Shinji, Kono",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
64 title="The implementation of Continuation based C Compiler on LLVM/clang 3.5",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
65 journal="IPSJ SIG Notes",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
66 ISSN="",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
67 publisher="Information Processing Society of Japan (IPSJ)",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
68 year="2014",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
69 month="may",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
70 volume="2014",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
71 number="10",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
72 pages="1-11",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
73 URL="http://ci.nii.ac.jp/naid/110009766999/en/",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
74 DOI="",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
75 }
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
76
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
77 @inproceedings{weko_82695_1,
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
78 author = "大城,信康 and 河野,真治",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
79 title = "Continuation based C の GCC4.6 上の実装について",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
80 booktitle = "第53回プログラミング・シンポジウム予稿集",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
81 year = "2012",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
82 volume = "2012",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
83 number = "",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
84 pages = "69--78",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
85 month = "jan"
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
86 }
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
87
6
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 @misc{agda,
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
89 title = {The Agda wiki},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 howpublished = {\url{http://wiki.portal.chalmers.se/agda/pmwiki.php}},
20
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
91 note = {Accessed: 2016/01/20(Fri)}
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
92 }
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
93
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
94 @misc{coq,
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
95 title = {Welcome! | The Coq Proof Assistant},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
96 howpublished = {\url{https://coq.inria.fr/}},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
97 note = {Accessed: 2016/01/20(Fri)}
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
98 }
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
99
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
100 @misc{ats2,
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
101 title = {ATS-PL-SYS},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
102 howpublished = {\url{http://www.ats-lang.org/}},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
103 note = {Accessed: 2016/01/20(Fri)}
6
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 }
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
105
20
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
106 @misc{spin,
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
107 title = {Spin - Formal Verification},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
108 howpublished = {\url{http://spinroot.com/spin/whatispin.html}},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
109 note = {Accessed: 2016/01/20(Fri)}
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
110 }
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
111
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
112 @misc{nusmv,
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
113 title = {NuSMV home page},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
114 howpublished = {\url{http://nusmv.fbk.eu/}},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
115 note = {Accessed: 2016/01/20(Fri)}
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
116 }
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
117
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
118 @misc{cbmc,
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
119 title = {The CBMC Homepage},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
120 howpublished = {\url{http://www.cprover.org/cbmc/}},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
121 note = {Accessed: 2016/01/20(Fri)}
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
122 }
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
123
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
124
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
125
17
db2909ab202d Add GearsOS
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
126 @techreport{weko_142109_1,
18
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 17
diff changeset
127 author = "小久保,翔平 and 伊波,立樹 and 河野,真治",
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 17
diff changeset
128 title = "Monadに基づくメタ計算を基本とするGears OSの設計",
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 17
diff changeset
129 year = "2015",
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 17
diff changeset
130 institution = "琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科, 琉球大学工学部情報工学科",
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 17
diff changeset
131 number = "16",
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 17
diff changeset
132 month = "may"
17
db2909ab202d Add GearsOS
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
133 }
db2909ab202d Add GearsOS
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
134
23
925d7e02b712 Add bibliography
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
135 @mastersthesis{utah-master,
925d7e02b712 Add bibliography
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
136 author = "徳森海斗",
925d7e02b712 Add bibliography
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
137 title = "LLVM Clang 上の Continuation based C コンパイラ の改良",
925d7e02b712 Add bibliography
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
138 school = "琉球大学 大学院理工学研究科 情報工学専攻",
925d7e02b712 Add bibliography
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
139 year = "2016"
925d7e02b712 Add bibliography
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
140 }