Publications - 2003 -

2003

Tetsuo Yokoyama, Zhenjiang Hu and Masato Takeichi

Determisnistic Second-order Patterns and Its Application to Program Transformation. International Symposium on Logic-based Program Synthesis and Transformation(LOPSTR2003)(2003), pp. 165-178.

S-C.Mu and R.S.Bird.

Rebuilding a tree from its traversals: a case study of program inversion. In The First Asian Symposium on Programming Languages and Systems, (2003), pp. 265-282.