Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications.
Kosuke OnoYoichi HiraiYoshinori TanabeNatsuko NodaMasami HagiyaPublished in: SEFM (2011)
Keyphrases
- cloud computing
- formal methods
- mapreduce framework
- distributed computing
- open source
- map reduce
- big data
- information extraction
- data intensive
- control program
- data analytics
- neural network
- formal verification
- parallel computation
- specification language
- computer programs
- formal specification
- parallel processing
- theorem prover
- test cases
- data sets
- high performance data mining