Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications.

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

Browse the full SEFM paper archive.