Hoare State Monad Transformer を用いた Coq上でのtotal parser combinator の実装上里友弥(筑波大学情報科学類) 2011年11月17日 TPP2011 なぜCoq? ある性質を保証する言語処理系を作りたいコンパイルが有限�

暮らしカテゴリーの変更を依頼記事元:

www.coins.tsukuba.ac.jp/~s0811425

3 usersがブックマークコメント

記事へのコメント1件

注目コメント
新着コメント

新着コメントはまだありません。
このエントリーにコメントしてみましょう。

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

リンクを埋め込む

以下のコードをコピーしてサイトに埋め込むことができます

<iframe marginwidth="0" marginheight="0" src="https://b.hatena.ne.jp/entry.parts?url=http%3A%2F%2Fwww.coins.tsukuba.ac.jp%2F~s0811425%2Ftpc_on_coq.pdf" scrolling="no" frameborder="0" height="230" width="500"><div class="hatena-bookmark-detail-info"><a href="http://www.coins.tsukuba.ac.jp/~s0811425/tpc_on_coq.pdf">Hoare State Monad Transformer を用いた Coq上でのtotal parser combinator の実装 上里 友弥(筑波大学 情報科学類) 2011年11月17日 TPP2011 なぜCoq? ある性質を保証する 言語処理系を作りたい コンパイルが有限�</a><a href="https://b.hatena.ne.jp/entry/www.coins.tsukuba.ac.jp/~s0811425/tpc_on_coq.pdf">はてなブックマーク - Hoare State Monad Transformer を用いた Coq上でのtotal parser combinator の実装 上里 友弥(筑波大学 情報科学類) 2011年11月17日 TPP2011 なぜCoq? ある性質を保証する 言語処理系を作りたい コンパイルが有限�</a></div></iframe>

プレビュー

規約違反を報告

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

Hoare State Monad Transformer を用いた Coq上でのtotal parser combinator の実装上里友弥(筑波大学情報科学類) 2011年11月17日 TPP2011 なぜCoq? ある性質を保証する言語処理系を作りたいコンパイルが有限�

Hoare State Monad Transf ormer を用いた Coq上でのtotal parser combinator の実装上里友弥(筑波大学... Hoare State Monad Transf ormer を用いた Coq上でのtotal parser combinator の実装上里友弥(筑波大学情報科学類) 2011年11月17日 TPP2011 なぜCoq? ある性質を保証する言語処理系を作りたいコンパイルが有限時間で終了する type safety type preserving semantic preserving etc... ある性質を保証する言語処理系を作りたいコンパイルが有限時間で終了する type safety type preserving semantic preserving etc... Coqでプログラムを書き,証明をする ↓ 保証付き実行可能処理系を得る Coqについて定理証明支援系(Proof Assistant) 関数型プログラミング言語定義される関数は必ず停止しなければなら