Kleenex: compiling nondeterministic transducers to deterministic streaming transducers

Niels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Søholm, Sebastian Paaske Tørholm. Kleenex: compiling nondeterministic transducers to deterministic streaming transducers. In Rastislav Bodik, Rupak Majumdar, editors, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016. pages 284-297, ACM, 2016. [doi]

Abstract

Abstract is missing.