論文

2009年8月20日

RA-010 Ordered Types for Stream Processing of Tree-Structured Data

情報科学技術フォーラム講演論文集
  • 佐藤 亮介
  • ,
  • 末永 幸平
  • ,
  • 小林 直樹

8
1
開始ページ
65
終了ページ
72
記述言語
英語
掲載種別
出版者・発行元
FIT(電子情報通信学会・情報処理学会)運営委員会

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.

リンク情報
CiNii Articles
http://ci.nii.ac.jp/naid/110008100171
CiNii Books
http://ci.nii.ac.jp/ncid/AA1242354X
ID情報
  • CiNii Articles ID : 110008100171
  • CiNii Books ID : AA1242354X
  • identifiers.cinii_nr_id : 9000017506545

エクスポート
BibTeX RIS