Fingerprint
Dive into the research topics of 'Using Coq in specification and program extraction of Hadoop MapReduce applications'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Using Coq in specification and program extraction of Hadoop MapReduce applications
Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
22
Citations
(Scopus)