Detail publikace

J-ReCoVer: Java Reducer Commutativity Verifier

CHEN, Y.; CHIANG, C.; HOLÍK, L.; KAO, W.; LIN, H.; VOJNAR, T.; WEN, Y.; WU, W. J-ReCoVer: Java Reducer Commutativity Verifier. In Proceedings of 17th Asian Symposium on Programming Languages and Systems (APLAS). Lecture Notes in Computer Science. Cham: Springer International Publishing, 2019. p. 357-366. ISBN: 978-3-030-34174-9.
Název česky
J-ReCoVer: Nástroj pro verifikaci komutativity redukčních funkcí v Javě
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Chen Yu-Fang
CHIANG, C.
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
KAO, W.
LIN, H.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
WEN, Y.
WU, W.
URL
Klíčová slova

verification, reducer, MapReduce, Java, commutativity

Abstrakt

Článek popisuje nástroj J-ReCoVer (Java Reducer Commutativity Verifier) určený pro verifikaci komutativity redukčních funkcí implementovaných v Javě pro prostředí MapReduce.

Anotace

Článek popisuje nástroj J-ReCoVer (Java Reducer Commutativity Verifier) určený pro verifikaci komutativity redukčních funkcí implementovaných v Javě pro prostředí MapReduce.

Rok
2019
Strany
357–366
Sborník
Proceedings of 17th Asian Symposium on Programming Languages and Systems (APLAS)
Řada
Lecture Notes in Computer Science
Svazek
11893
ISBN
978-3-030-34174-9
Vydavatel
Springer International Publishing
Místo
Cham
DOI
10.1007/978-3-030-34175-6_18
UT WoS
000611530200018
EID Scopus
2-s2.0-85076684718
BibTeX 
@inproceedings{BUT161467,
  author="CHEN, Y. and CHIANG, C. and HOLÍK, L. and KAO, W. and LIN, H. and VOJNAR, T. and WEN, Y. and WU, W.",
  title="J-ReCoVer: Java Reducer Commutativity Verifier",
  booktitle="Proceedings of 17th Asian Symposium on Programming Languages and Systems (APLAS)",
  year="2019",
  series="Lecture Notes in Computer Science",
  volume="11893",
  pages="357--366",
  publisher="Springer International Publishing",
  address="Cham",
  doi="10.1007/978-3-030-34175-6\{_}18",
  isbn="978-3-030-34174-9",
  url="https://link.springer.com/chapter/10.1007%2F978-3-030-34175-6_18"
}
Nahoru