Using Coq in specification and program extraction of Hadoop MapReduce applications

Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya

研究成果: Conference contribution

17 引用 (Scopus)

フィンガープリント Using Coq in specification and program extraction of Hadoop MapReduce applications' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

Mathematics

Engineering & Materials Science