Kleenex: compiling nondeterministic transducers to deterministic streaming transducers

Niels Bjørn Bugge Grathwohl; Fritz Henglein; Ulrik Terp Rasmussen; Kristoffer Aalund Søholm; Sebastian Paaske Torholm

doi:10.1145/2837614.2837647

Kleenex: compiling nondeterministic transducers to deterministic streaming transducers

Niels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Søholm, Sebastian Paaske Torholm

Department of Computer Science

Original language	English
Title of host publication	Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Number of pages	14
Publisher	Association for Computing Machinery
Publication date	2016
Pages	284-297
ISBN (Print)	978-1-4503-3549-2
DOIs	https://doi.org/10.1145/2837614.2837647
Publication status	Published - 2016
Event	43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - St. Petersburg, United States Duration: 20 Jan 2016 → 23 Jan 2016 Conference number: 43

Conference

Conference	43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Number	43
Country/Territory	United States
City	St. Petersburg
Period	20/01/2016 → 23/01/2016

Keywords

regular
automaton
nondeterministic
transducer
determinization
streaming

Access to Document

10.1145/2837614.2837647

Cite this

Grathwohl, N. B. B., Henglein, F., Rasmussen, U. T., Søholm, K. A., & Torholm, S. P. (2016). Kleenex: compiling nondeterministic transducers to deterministic streaming transducers. In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (pp. 284-297). Association for Computing Machinery. https://doi.org/10.1145/2837614.2837647

Kleenex: compiling nondeterministic transducers to deterministic streaming transducers. / Grathwohl, Niels Bjørn Bugge; Henglein, Fritz; Rasmussen, Ulrik Terp et al.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, 2016. p. 284-297.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Grathwohl, NBB, Henglein, F, Rasmussen, UT, Søholm, KA & Torholm, SP 2016, Kleenex: compiling nondeterministic transducers to deterministic streaming transducers. in Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, pp. 284-297, 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, United States, 20/01/2016. https://doi.org/10.1145/2837614.2837647

@inproceedings{df5e0c6579de489faa4393fed9e44804,

title = "Kleenex: compiling nondeterministic transducers to deterministic streaming transducers",

keywords = "regular, automaton, nondeterministic, transducer, determinization, streaming",

author = "Grathwohl, {Niels Bj{\o}rn Bugge} and Fritz Henglein and Rasmussen, {Ulrik Terp} and S{\o}holm, {Kristoffer Aalund} and Torholm, {Sebastian Paaske}",

year = "2016",

doi = "10.1145/2837614.2837647",

language = "English",

isbn = "978-1-4503-3549-2",

pages = "284--297",

booktitle = "Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages",

publisher = "Association for Computing Machinery",

note = "43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; Conference date: 20-01-2016 Through 23-01-2016",

}

TY - GEN

T1 - Kleenex

T2 - 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

AU - Grathwohl, Niels Bjørn Bugge

AU - Henglein, Fritz

AU - Rasmussen, Ulrik Terp

AU - Søholm, Kristoffer Aalund

AU - Torholm, Sebastian Paaske

N1 - Conference code: 43

PY - 2016

Y1 - 2016

KW - regular

KW - automaton

KW - nondeterministic

KW - transducer

KW - determinization

KW - streaming

U2 - 10.1145/2837614.2837647

DO - 10.1145/2837614.2837647

M3 - Article in proceedings

SN - 978-1-4503-3549-2

SP - 284

EP - 297

BT - Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

PB - Association for Computing Machinery

Y2 - 20 January 2016 through 23 January 2016

ER -