Standard
Kleenex : compiling nondeterministic transducers to deterministic streaming transducers. / Grathwohl, Niels Bjørn Bugge; Henglein, Fritz; Rasmussen, Ulrik Terp; Søholm, Kristoffer Aalund; Torholm, Sebastian Paaske.
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
Harvard
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
APA
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
Vancouver
Grathwohl NBB
, Henglein F, Rasmussen UT, Søholm KA, Torholm SP.
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. 2016. p. 284-297
https://doi.org/10.1145/2837614.2837647
Author
Grathwohl, Niels Bjørn Bugge ; Henglein, Fritz ; Rasmussen, Ulrik Terp ; Søholm, Kristoffer Aalund ; Torholm, Sebastian Paaske. / Kleenex : compiling nondeterministic transducers to deterministic streaming transducers. Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, 2016. pp. 284-297
Bibtex
@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 = "null ; Conference date: 20-01-2016 Through 23-01-2016",
}
RIS
TY - GEN
T1 - Kleenex
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 -