Art

J-GLOBAL ID：200902224975650801   Reference number：09A0797596

Type-based Partial Buffering for Stream Processing

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

Author (2)： SATO RYOSUKE (東北大 大学院情報科学研究科) ,  KOBAYASHI NAOKI (東北大 大学院情報科学研究科)
Material： 情報処理学会論文誌トランザクション(CD-ROM)  (情報処理学会論文誌 Computer Vision and Applications(CD-ROM))
Volume： 2008  Issue： 1  Page： VOL.1NO.1,1-14  Publication year： Nov. 15, 2008 
JST Material Number： L7379A  ISSN： 1882-7772  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *buffer system ,  tree structure ,  *data processing ,  *type inference ,  lamda calculation ,  XML ,  packaging design ,  performance evaluation ,  benchmark
Semi thesaurus term： *stream processing ,  *部分的バッファリング

JST classification (2)： Operating systems  (JD03020J) ,  Theory of computation  (JB02000A)

Reference (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).

Terms in the title (3)： 木構造 ,  ストリーム処理 ,  バッファリング