大会名称 |
---|
2009年 情報科学技術フォーラム(FIT) |
大会コ-ド |
F |
開催年 |
2009 |
発行日 |
2009/8/20 |
セッション番号 |
7A |
セッション名 |
プログラミング |
講演日 |
2009/09/04 |
講演場所(会議室等) |
A会場(9号館1F 911教室) |
講演番号 |
RA-010 |
タイトル |
Ordered Types for Stream Processing of Tree-Structured Data |
著者名 |
佐藤 亮介, 末永 幸平, 小林 直樹, |
キーワード |
Type System, Stream Processing, XML |
抄録 |
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, <l>non-linear</l> types in addition to ordered linear types. The resulting transformation framework reduces the redundant buffering, generating more efficient stream-processing programs. |
本文pdf |
PDF download (159.5KB) |