Regular Programming for Quantitative Properties of Data Streams.

Rajeev Alur Dana Fisman Mukund Raghothaman

Published in: ESOP (2016)

Keyphrases

data streams
data sets
programming language
sliding window
quantitative and qualitative
concept drift
desirable properties
programming environment
topological properties
information retrieval
multi dimensional
stream processing
evolving data streams