TY  - RPRT
TI  - An Executable Sequential Specification for Spark Aggregation
AU  - Yu-Fang Chen
AU  - Chih-Duo Hong
AU  - Ondřej Lengál
AU  - Shin-Cheng Mu
AU  - Nishant Sinha
AU  - Bow-Yaw Wang
PY  - 2017
UR  - https://arxiv.org/abs/1702.02439
ID  - 1702.02439
ER  -