Streaming transducers for algorithmic verification of single-pass list-processing programs.

Rajeev Alur Pavol Cerný

Published in: POPL (2011)

Keyphrases

single pass
stream mining
real time
rate allocation
stream processing
symbolic execution
highly parallel
data processing
data streams
hardware designs
regression forests
model checking
continuous query processing
finite automata
efficient processing
streaming data
concept drift
anomaly detection
decision trees