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

Rajeev Alur, Pavol Cern

Browse the full POPL paper archive.