サクサク読めて、アプリ限定の機能も多数!
sh19910711 のブックマーク 2017/07/23 22:26
CoqからのCプログラム生成 田中 哲 産業技術総合研究所 情報技術研究部門 2017-07-23 Proof Summit 2017[*program][coq][c*]2017/07/23 22:26
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.a-k-r.org2017/07/23
CoqからのCプログラム生成 田中 哲 産業技術総合研究所 情報技術研究部門 2017-07-23 Proof Summit 2017 2/48 元ネタ ● 既発表の話です ● そのうち論文が出ます ● Safe Low-level Code Generation in Coq using M...
34 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /
sh19910711 のブックマーク 2017/07/23 22:26
このブックマークにはスターがありません。
最初のスターをつけてみよう!
CoqからのCプログラム生成 田中 哲 産業技術総合研究所 情報技術研究部門 2017-07-23 Proof Summit 2017
www.a-k-r.org2017/07/23
CoqからのCプログラム生成 田中 哲 産業技術総合研究所 情報技術研究部門 2017-07-23 Proof Summit 2017 2/48 元ネタ ● 既発表の話です ● そのうち論文が出ます ● Safe Low-level Code Generation in Coq using M...
34 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /