[ Content | View menu ]

XML stream processing using a lazy concurrent language

December 9, 2007

S-C. Mu, T-C. Tsai, and K. Nakano. XML stream processing using a lazy concurrent language. In Programming Language Techniques for XML (PLAN-X 2008). January 2008.
[PDF]

[More ...] - 0 Comments
Tags: .

Push: Improving Heap Residency for Lazy Stream Processing by Concurrency

August 27, 2007

Prototype implementation of a language Push, accompanying our recently submitted paper. The prototype is implemented and prepared by Ta-Chung Tsai.

While studying XML stream processing, we noticed that programmers need concurrency to save space, especially in a lazy language. We propose the idea of pushing datatypes — when a pushing closure is demanded, all expressions referring to it are evaluated concurrently to weak head normal forms. The closure is no more alive and may thus be garbage collected.

[GZipped Tarball]

[More ...] - 0 Comments
Tags: , .

A pushdown machine for recursive XML processing

June 20, 2007

K. Nakano and S-C. Mu. A pushdown machine for recursive XML processing. In The Fourth Asian Symposium on Programming Language and Systems, LNCS 4279, pp. 340-356, November 2006.
[PDF]

[More ...] - 0 Comments
Tags: .