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

Datalogisk Institut

Originalsprog	Engelsk
Titel	Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Antal sider	14
Forlag	Association for Computing Machinery
Publikationsdato	2016
Sider	284-297
ISBN (Trykt)	978-1-4503-3549-2
DOI	https://doi.org/10.1145/2837614.2837647
Status	Udgivet - 2016
Begivenhed	43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - St. Petersburg, USA Varighed: 20 jan. 2016 → 23 jan. 2016 Konferencens nummer: 43

Konference

Konference	43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Nummer	43
Land/Område	USA
By	St. Petersburg
Periode	20/01/2016 → 23/01/2016

Adgang til dokumentet

10.1145/2837614.2837647

Citationsformater

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. I Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (s. 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. s. 284-297.

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Grathwohl, NBB, Henglein, F, Rasmussen, UT, Søholm, KA & Torholm, SP 2016, Kleenex: compiling nondeterministic transducers to deterministic streaming transducers. i Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, s. 284-297, 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, USA, 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 -