Program transformation templates for tupling based on term rewriting

Yuki Chiba, Takahito Aoto, Yoshihito Toyama

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


Chiba et al. (2006) proposed a framework of program transformation of term rewriting systems by developed templates. Contrast to the previous framework of program transformation by templates based on lambda calculus, this framework provides a method to verify the correctness of transformation automatically. Tupling (Bird, 1980) is a well-known technique to eliminate redundant recursive calls for improving efficiency of programs. In Chiba et al.'s framework, however, one can not use tuple symbols to construct developed templates. Thus their framework is not capable of tupling transformations. In this paper, we propose a more flexible notion of templates so that a wider variety of transformations, including tupling transformations, can be handled.

Original languageEnglish
Pages (from-to)963-973
Number of pages11
JournalIEICE Transactions on Information and Systems
Issue number5
Publication statusPublished - 2010


  • Program transformation
  • Term rewriting
  • Tupling

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Vision and Pattern Recognition
  • Electrical and Electronic Engineering
  • Artificial Intelligence


Dive into the research topics of 'Program transformation templates for tupling based on term rewriting'. Together they form a unique fingerprint.

Cite this