Skip to content
プログラミング研究室
東京科学大学 (旧東京工業大学) 情報理工学院数理・計算科学系
Menu
ホーム
構成員
研究プロジェクト
論文
連絡先・アクセス
GPGPUのための並行分離論理に関する論文が情報処理学会論文誌 プログラミングに採録
朝倉泉
,
増原英彦
,
青谷知幸
による”GPGPUのための並行分離論理のCoqによる健全性証明”が情報処理学会論文誌 プログラミングに採録されました.
Izumi Asakura
,
Hidehiko Masuhara
,
Tomoyuki Aotani
,Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq,
Journal of Information Processing,
24(1)132-140, 2016. DOI:
10.2197/ipsjjip.24.132
PDF
2015-06-30
.
文脈指向プログラミングに関する2本の論文がCOP’15で発表されます
→
←
GPGPUのための並行分離論理のCoqによる健全性証明についての発表が情報処理学会プログラミング研究会で行なわれます