Program transformation templates for tupling based on term rewriting

Yuki Chiba, Takahito Aoto, Yoshihito Toyama

研究成果: Article

1 引用 (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.

元の言語English
ページ(範囲)963-973
ページ数11
ジャーナルIEICE Transactions on Information and Systems
E93-D
発行部数5
DOI
出版物ステータスPublished - 2010 1 1

ASJC Scopus subject areas

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

フィンガープリント Program transformation templates for tupling based on term rewriting' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用