Ordered types for stream processing of tree-structured data

Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi

研究成果: Contribution to journalArticle査読

抄録

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.

本文言語英語
ページ(範囲)74-87
ページ数14
ジャーナルJournal of information processing
19
DOI
出版ステータス出版済み - 2011

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

引用スタイル