CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL

論文・著書情報

タイトル

和文:
英文:	CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL

著者

和文:	朝倉泉, 増原英彦, 青谷知幸.
英文:	Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani.

言語

English

掲載誌/書名

和文:
英文:	Proceedings of The Third International Workshop on Coq for Programming Languages (CoqPL 2017), colocated with PoPL'17

巻, 号, ページ

出版年月

2017年1月21日

出版者

和文:
英文:

会議名称

和文:
英文:

開催地

和文:
英文: