Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type
Abstract elided by the publisher.
Related papers
- Translation of tree-processing programs into stream-processing programs based on ordered linear type JFP 2008
- Automatic Generation of Near-Optimal Translators for Noncircular Attribute Grammars POPL 1979
- Data-trace types for distributed stream processing systems PLDI 2019
- Streaming transducers for algorithmic verification of single-pass list-processing programs POPL 2011
- Haskell and XML: Generic Combinators or Type-Based Translation? ICFP 1999
- Low-latency graph streaming using compressed purely-functional trees PLDI 2019
- Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms ICFP 2016
- Modelling Operating System Structures by Timed Stream Processing Functions JFP 1992