| CARVIEW |
Select Language
HTTP/1.1 200 OK
Date: Fri, 23 Jan 2026 10:16:18 GMT
Server: Apache/2.4.58 (Ubuntu)
Last-Modified: Wed, 20 Jan 2016 19:51:33 GMT
ETag: "c05-529c950225d06-gzip"
Accept-Ranges: bytes
Vary: Accept-Encoding
Content-Encoding: gzip
Content-Length: 1387
Content-Type: text/html
Kleenex
Kleenex
Kleenex
Compiling Nondeterministic Transducers to Deterministic Streaming Transducers
Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Søholm, Sebastian Paaske Tørholm
What is Kleenex?
Kleenex is a programming language for stream processing of data in a regular domain. Programs consist of ambiguous grammars with embedded semantic actions, and all ambiguities are compiled away before run-time via a novel translation to determinstic streaming string transducers. The compiled programs have linear worst-case running time and sustained high throughput in the 1Gbps range.