C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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