Regular Programming for Quantitative Properties of Data Streams.

Rajeev Alur, Dana Fisman, Mukund Raghothaman

Browse the full ESOP paper archive.