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]

Authors

Niels Bjørn Bugge Grathwohl

This author has not been identified. Look up 'Niels Bjørn Bugge Grathwohl' in Google

Fritz Henglein

This author has not been identified. It may be one of the following persons: Look up 'Fritz Henglein' in Google

Ulrik Terp Rasmussen

This author has not been identified. Look up 'Ulrik Terp Rasmussen' in Google

Kristoffer Aalund Søholm

This author has not been identified. Look up 'Kristoffer Aalund Søholm' in Google

Sebastian Paaske Tørholm

This author has not been identified. Look up 'Sebastian Paaske Tørholm' in Google