Program Transformation Templates for Tupling Based on Term Rewriting

• CHIBA Yuki

  Japan Advanced Institute of Science and Technology

• AOTO Takahito

  RIEC, Tohoku University

• TOYAMA Yoshihito

  RIEC, Tohoku University

Abstract

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.

Journal

• IEICE Transactions on Information and Systems

  IEICE Transactions on Information and Systems E93-D (5), 963-973, 2010

  The Institute of Electronics, Information and Communication Engineers

Keywords

• program transformation
• tupling
• term rewriting

Details

• CRID: 1390282679356563328
• NII Article ID: 10026815249
• NII Book ID: AA10826272
• DOI: 10.1587/transinf.e93.d.963
• ISSN: 17451361
• ISSN: 09168532
• Web Site: http://hdl.handle.net/10119/9222
• Web Site: http://www.jstage.jst.go.jp/article/transinf/E93.D/5/E93.D_5_963/_pdf
• Text Lang: en
• Data Source:
  • JaLC
  • IRDB
  • Crossref
  • CiNii Articles
  • KAKEN
• Abstract License Flag: Disallowed