木構造処理からストリーム処理プログラムへの変換のための部分的バッファリングの挿入

佐藤亮介; 小林直樹

文献

J-GLOBAL ID：200902224975650801 整理番号：09A0797596

木構造処理からストリーム処理プログラムへの変換のための部分的バッファリングの挿入

Type-based Partial Buffering for Stream Processing

出版者サイト複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=09A0797596&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=09A0797596&from=J-GLOBAL&jstjournalNo=L7379A") }}

著者 (2件)： ,
資料名：
巻： 2008 号： 1 ページ： VOL.1NO.1,1-14 発行年： 2008年11月15日
JST資料番号： L7379A ISSN： 1882-7772 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：日本 (JPN) 言語：日本語 (JA)

XML等の木構造を論理構造として持つデータの処理の記述方式には,プログラムの可読性・保守性に優れた木構造処理方式と,メモリ効率に優れたストリーム処理方式がある。両者の利点を両立させるため,末永らは木構造処理プログラムをストリーム処理プログラムに自動変換する枠組みを提案している。しかし,変換時のバッファリング命令の挿入において,部分木全体がバッファリングされてしまうという問題点があった。この問題を解決するため,本研究では木の一部のみをバッファリングするための命令を挿入するための枠組みを提案する。部分的バッファリングの挿入は,既存の末永らの枠組みでバッファリングを挿入した後に,各データの不要部分を型として推論することによって行うことができる。そこで,本論文ではバリアント型を持つ一般的なλ計算の枠組みを対象として,不要データ除去変換を定式化する。この理論に基づき,XML処理プログラムに対する部分バッファリングの自動挿入器を実装し,ベンチマークプログラムを用いてその有効性を検証した。(著者抄録)

, , , , , , , ,
,

オペレーティングシステム , 計算理論

引用文献 (19件)：

Berardi, S., Coppo, M., Damiani, F. and Giannini, P.: Type-Based Useless-Code Elimination for Functional Programs, Proc. SAIG 2000, Proc. ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, Vol.1924, pp. 172-189, Springer-Verlag (2000).
Berglund, A., Boag, S., Chamberlin, D., Fern’andez, M. F., Kay, M., Robie, J. and Simeon, J.: XML Path Language (XPath) 2.0, World WideWeb Consortium (2003).
Burn, G. L.: Evaluation transformers — a model for the parallel evolution of functional languages, Proc. conference on Functional programming languages and computer architecture, London, UK, pp. 446-470, Springer-Verlag (1987).
Damiani, F.: Useless-Code Detection and Elimination for PCF with Algebraic Data types, Proc. TLCA’99, Proc. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Vol.1581, pp. 83-97, Springer-Verlag (1999).
Hall, C. V. andWise, D. S.: Compiling strictness into streams, POPL ’87: Proc.14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, New York, NY, USA, pp. 132-143, ACM Press (1987).

, ,

前のページに戻る