Regular Functions and Cost Register Automata.

Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan

Browse the full LICS paper archive.