Coqを使用したMapReduceアプリケーションの検証とScalaコードの抽出

書誌事項

タイトル別名
  • Coq オ シヨウ シタ MapReduce アプリケーション ノ ケンショウ ト Scala コード ノ チュウシュツ
  • Verification of Hadoop MapReduce Application and Scala Program Extraction Using Coq

この論文をさがす

収録刊行物

関連プロジェクト

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ