Publications - 2004 -

2004

Shin-Cheng Mu

An Injective Language for Reversible Computation. Proc. The Second Workshop on Programmable Structured Documents, (2004), pp. 15-35.

Zhenjiang Hu

A Computable and Bidirectional XML Editor. Proc. The Second Workshop on Programmable Structured Documents, (2004), pp. 36-40.

Keisuke Nakano

Case Study of Stream Processor Generator for XSLT. Proc. The Second Workshop on Programmable Structured Documents, (2004), pp. 42-46.

Shingo Nishioka

An Implementation of the By-Need DOM for Haskell. Proc. The Second Workshop on　Programmable Structured Documents, (2004), p. 46.

Kazuhiko Kakehi

Specializing Programs of Regular Expression Types. Proc. The Second Workshop on Programmable Structured Documents, (2004), p. 47.

Tetsuo Yokoyama

Regular Properties in Maximum Marking Problems. Proc. The Second Workshop on Programmable Structured Documents, (2004), pp. 67-70.

Yasushi Hayashi

An Interface for TreeCalc to Reduce Data Communication by Reference Analysis. Proc. The Second Workshop on Programmable Structured Documents, (2004), pp. 77-83.

Tetsuo Yokoyama and Zhenjiang Hu and Masato Takeichi

Deterministic Second-order Patterns, Information Processing Letters. Vol. 89, No. 6, pp. 309-314, (2004).

Shin-Cheng Mu, Zhenjiang Hu and Masato Takeichi

An injective language for reversible computation. Mathematics for Programming Construction(MPC2004), Stirling, Scotland, UK., July 12-14, LNCS3125, pp. 289-313, 2004.

Zhenjiang Hu, Shin-Cheng Mu and Masato Takeichi

A programmable editor for developing structured documents based on bidirectional transformation. Partial Evaluation and Semantics-Based Program Manipulation(PEPM’04), Verona, Italy, August 24-25, ACM Press, pp. 178-189, 2004.

Zhenjiang Hu, Kento Emoto, Shin-Cheng Mu, Masato Takeichi

Bidirectionalizing Tree Transformations. International Workshop on New Approaches to Software Construction (WNASC 2004), The University of Tokyo, Komaba, Tokyo, Japan, September 13-14, 2004. pp.3-22.

Shin-Cheng Mu, Zhenjiang Hu and Masato Takeichi

An algebraic approach to bi-directional updating. The 2nd Asian Symposium on Programming Languages and Systems(APLAS2004), Taipei, Taiwan, Nov. 4-6, LNCS, pp. 2-20, 2004.

Keisuke Nakano

An Implementation Scheme for XML Transformation Languages through Derivation of Stream Processors. The 2nd Asian Symposium on Programming Languages and Systems(APLAS2004), Taipei, Taiwan, Nov. 4-6, LNCS, pp.74-90, 2004.