An Executable Specification of Map-Join-Reduce Using Haskell.

Junqi Ren Lei Liu Feng Liu Wenbo Zhou Shuai Lü

Published in: IEEE Access (2019)

Keyphrases

formal specification
maximum a posteriori
attribute grammars
join algorithms
significantly reduced
functional programming
information systems
case study
high level
programming language
conceptual model
specification language
cartesian product