Sciweavers

129
Voted
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 10 days ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný