Mercurial > hg > Papers > 2017 > mitsuki-sigos

comparison paper/sigos.bbl @ 6:00f95e081a85

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add
author mir3636
date Fri, 21 Apr 2017 16:46:59 +0900
parents fd019b8f2781
children 9df52fe5b3d7
comparison
equal deleted inserted replaced
5:846e85189f33 6:00f95e081a85
1 \begin{thebibliography}{1} 1 \begin{thebibliography}{1}
2
3 \bibitem{segment}
4 河野真治，杉本　優\：Code Segment と Data Segment
5 によるプログラミング手法，第54回プログラミング・シンポジウム (2013).
6 2
7 \bibitem{gears} 3 \bibitem{gears}
8 小久保翔平，伊波立樹，河野真治\：Monad に基づくメタ計算を基本とする Gears OS 4 小久保翔平，伊波立樹，河野真治\：Monad に基づくメタ計算を基本とする Gears OS
9 の設計，情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS) 5 の設計，情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
10 (2015). 6 (2015).
11 7
8 \bibitem{segment}
9 河野真治，杉本　優\：Code Segment と Data Segment
10 によるプログラミング手法，第54回プログラミング・シンポジウム (2013).
11
12 \bibitem{cbc-lola} 12 \bibitem{cbc-lola}
13 TOKKMORI, K. and KONO, S.: Implementing Continuation based language in LLVM and 13 TOKKMORI, K. and KONO, S.: Implementing Continuation based language in LLVM and
14 Clang, {\em LOLA 2015} (2015). 14 Clang, {\em LOLA 2015} (2015).
15 15
16 \end{thebibliography} 16 \end{thebibliography}