Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi. Program Optimizations and Transformations in Calculation Form. In Ralf Lämmel, João Saraiva, Joost Visser, editors, Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers. Volume 4143 of Lecture Notes in Computer Science, pages 144-168, Springer, 2006. [doi]
Abstract is missing.