X-P is a translator of tree-processing-style XML processing programs into stream-processing programs.
For detail, see our publications.
X-P (Ver 0.1)
- Koichi Kodama, Kohei Suenaga and Naoki Kobayashi. "Translation of Tree-processing Programs into Stream-processing Programs Based on Ordered Linear Type". (Preliminary version) (Full version) In proceedings of The Second Asian Symposium on Programming Languages and Systems (APLAS 2004), Taipei, Taiwan, November 2004. Lecture Notes in Computer Science 3302. (C) Springer-Verlag.
Kohei Suenaga, Naoki Kobayashi, Akinori Yonezawa. "Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives". International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR2005), London, UK, September 2005. Lecture Notes in Computer Science 3901. (C) Springer-Verlag. (Preliminary version | Full version)