Detail publikace

J-ReCoVer: Java Reducer Commutativity Verifier

CHEN Yu-Fang, CHIANG Chang-Yi, HOLÍK Lukáš, KAO Wei-Tsung, LIN Hsin-Hung, VOJNAR Tomáš, WEN Yean-Fu a WU Wei-Cheng. J-ReCoVer: Java Reducer Commutativity Verifier. In: Proceedings of 17th Asian Symposium on Programming Languages and Systems (APLAS). Lecture Notes in Computer Science, roč. 11893. Cham: Springer International Publishing, 2019, s. 357-366. ISBN 978-3-030-34174-9. Dostupné z: https://link.springer.com/chapter/10.1007%2F978-3-030-34175-6_18
Název česky
J-ReCoVer: Nástroj pro verifikaci komutativity redukčních funkcí v Javě
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Chen Yu-Fang (ASIN)
Chiang Chang-Yi (NTPU)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Kao Wei-Tsung (ASIN)
Lin Hsin-Hung (ASIN)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Wen Yean-Fu (NTPU)
Wu Wei-Cheng (ASIN)
URL
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
Konference
17th Asian Symposium on Programming Languages and Systems -- APLAS'19, Bali, ID
ISBN
978-3-030-34174-9
Vydavatel
Springer International Publishing
Místo
Cham, CH
DOI
10.1007/978-3-030-34175-6_18
UT WoS
000611530200018
EID Scopus
2-s2.0-85076684718
BibTeX 
@INPROCEEDINGS{FITPUB12129,
   author = "Yu-Fang Chen and Chang-Yi Chiang and Luk\'{a}\v{s} Hol\'{i}k and Wei-Tsung Kao and Hsin-Hung Lin and Tom\'{a}\v{s} Vojnar and Yean-Fu Wen and Wei-Cheng Wu",
   title = "J-ReCoVer: Java Reducer Commutativity Verifier",
   pages = "357--366",
   booktitle = "Proceedings of 17th Asian Symposium on Programming Languages and Systems (APLAS)",
   series = "Lecture Notes in Computer Science",
   volume = 11893,
   year = 2019,
   location = "Cham, CH",
   publisher = "Springer International Publishing",
   ISBN = "978-3-030-34174-9",
   doi = "10.1007/978-3-030-34175-6\_18",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12129"
}
Nahoru