文章基本信息

标题：Ordered Types for Stream Processing of Tree-Structured Data
本地全文：下载
作者：Ryosuke Sato ; Kohei Suenaga ; Naoki Kobayashi 等
期刊名称：Information and Media Technologies
电子版ISSN：1881-0896
出版年度：2011
卷号：6
期号：2
页码：385-398
DOI：10.11185/imt.6.385
出版社：Information and Media Technologies Editorial Board
摘要：Suenaga, et al. have developed a type-based framework for automatically translating tree-processing programs into stream-processing ones. The key ingredient of the framework was the use of ordered linear types to guarantee that a tree-processing program traverses an input tree just once in the depth-first, left-to-right order (so that the input tree can be read from a stream). Their translation, however, sometimes introduces redundant buffering of input data. This paper extends their framework by introducing ordered, non-linear types in addition to ordered linear types. The resulting transformation framework reduces the redundant buffering, generating more efficient stream-processing programs.