An Executable Sequential Specification for Spark Aggregation.

Yu-Fang Chen Chih-Duo Hong Ondrej Lengál Shin-Cheng Mu Nishant Sinha Bow-Yaw Wang

Published in: NETYS (2017)

Keyphrases

formal specification
attribute grammars
control flow
high level
formal methods
process algebra
data sets
case study
software engineering
user defined
specification language
asynchronous circuits
real world
data mining
model checking
reverse engineering