GPGPUのための並行分離論理に関する論文が情報処理学会論文誌プログラミングに採録 – プログラミング研究室

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による健全性証明についての発表が情報処理学会プログラミング研究会で行なわれます