共 23 条
[2]
Ali M, 2011, PROC INT CONF DATA, P1242, DOI 10.1109/ICDE.2011.5767878
[3]
Alur R., 2016, COMPUTING COMMUNITY
[4]
Regular Programming for Quantitative Properties of Data Streams
[J].
PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016),
2016, 9632
:15-40
[6]
Babu S, 2001, SIGMOD REC, V30, P109, DOI 10.1145/603867.603884
[9]
Chintapalli Sanket, 2016, 1 ANN WORKSH EM PAR