Publication detail

An Executable Sequential Specification for Spark Aggregation

LENGÁL, O. HONG, C. CHEN, Y. MU, S. SINHA, N. WANG, B.

Original Title

An Executable Sequential Specification for Spark Aggregation

Type

report

Language

English

Authors

LENGÁL, O.; HONG, C.; CHEN, Y.; MU, S.; SINHA, N.; WANG, B.

Released

13. 2. 2017

Location

Ithaca

Pages count

32

URL

BibTex

@techreport{BUT169471,
  author="Ondřej {Lengál} and Chih-Duo {Hong} and Yu-Fang {Chen} and Shin-Cheng {Mu} and Nishant {Sinha} and Bow-Yaw {Wang}",
  title="An Executable Sequential Specification for Spark Aggregation",
  year="2017",
  address="Ithaca",
  pages="32",
  url="https://arxiv.org/abs/1702.02439"
}