Mercurial > hg > Papers > 2018 > nozomi-master

comparison paper/reference.bib @ 126:18f872806bc0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update reference
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Thu, 16 Feb 2017 13:39:49 +0900
parents 16dc3337a5a9
children e20f743b5418
comparison
equal deleted inserted replaced
125:c1cc5407cefe 126:18f872806bc0
164 title = "Code Segment と Data Segment を持つ Gears OS の 設計", 164 title = "Code Segment と Data Segment を持つ Gears OS の 設計",
165 school = "琉球大学 大学院理工学研究科 情報工学専攻", 165 school = "琉球大学 大学院理工学研究科 情報工学専攻",
166 year = "2016" 166 year = "2016"
167 } 167 }
168 168
169 @misc{atton-ipsjpro,
170 author = "比嘉 健太, 河野 真治",
171 title = "Continuation based C を用いたプログラムの検証手法",
172 }
173
169 @book{Pierce:2002:TPL:509043, 174 @book{Pierce:2002:TPL:509043,
170 author = {Pierce, Benjamin C.}, 175 author = {Pierce, Benjamin C.},
171 title = {Types and Programming Languages}, 176 title = {Types and Programming Languages},
172 year = {2002}, 177 year = {2002},
173 isbn = {0262162091, 9780262162098}, 178 isbn = {0262162091, 9780262162098},