Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya. Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. In Gilles Barthe, Alberto Pardo, Gerardo Schneider, editors, Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Volume 7041 of Lecture Notes in Computer Science, pages 350-365, Springer, 2011. [doi]
Abstract is missing.