Deterministic Higher-Order Patterns for Program Transformation

Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi. Deterministic Higher-Order Patterns for Program Transformation. In Maurice Bruynooghe, editor, Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers. Volume 3018 of Lecture Notes in Computer Science, pages 128-142, Springer, 2003. [doi]

Authors

Tetsuo Yokoyama

This author has not been identified. Look up 'Tetsuo Yokoyama' in Google

Zhenjiang Hu

This author has not been identified. It may be one of the following persons: Look up 'Zhenjiang Hu' in Google

Masato Takeichi

This author has not been identified. Look up 'Masato Takeichi' in Google