Mercurial > hg > Papers > 2016 > atton-ipsjpro
changeset 38:ace8d7b185cc
Add bibliographies
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 06 Jul 2016 18:58:49 +0900 |
parents | 68beb13608d8 |
children | c5a1fced14df |
files | paper/vmpcbc.pdf paper/vmpcbc.tex |
diffstat | 2 files changed, 5 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/paper/vmpcbc.tex Wed Jul 06 18:34:20 2016 +0900 +++ b/paper/vmpcbc.tex Wed Jul 06 18:58:49 2016 +0900 @@ -646,10 +646,13 @@ \bibitem{cite:cbc-clang} 徳森海斗, 河野真治: Continuation based CのLLVM/clang 3.5上の実装について, 情報処理学会システムソフトウェアとオペレーティング・システム研究会 (OS) (2014) \bibitem{cite:gears-os} 伊波立樹, 東恩納琢偉, 河野真治: Code Gear、 Data Gear に基づく OS のプロトタイプ, 情報処理学会システムソフトウェアとオペレーティング・システム研究会 (OS) (2016) +\bibitem{cite:llrb} 小久保 翔平, 河野真治: Code Segment と Data Segment を持つ Gears OS の 設計 (2016) +\bibitem{cite:monad} Moggi, Eugenio: Notions of Computation and Monads, Inf. Comput (1991). \bibitem{cite:cbmc} Clarke, Edmund and Kroening, Daniel and Lerda, Flavio: A Tool for Checking {ANSI-C} Programs, Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004) \bibitem{cite:agda} \verb/The Agda Wiki - Agda/ \urlj{http://wiki.portal.chalmers.se/agda/pmwiki.php} \refdatej{2016-07-05}. -\bibitem{cite:monad} Moggi, Eugenio: Notions of Computation and Monads, Inf. Comput (1991). -% kkb さん +\bibitem{cite:nusmv} \verb/NuSMV home page/ \urlj{http://nusmv.fbk.eu/} \refdatej{2016-07-06} +\bibitem{cite:spin} \verb/Spin - Formal Verification/ \urlj{http://spinroot.com/spin/whatispin.html} \refdatej{2016-07-06} +\bibitem{cite:coq} \verb/Welcome! | The Coq Proof Assistant/ \urlj{https://coq.inria.fr/} \refdatej{2016-07-06} \end{thebibliography}