|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/9222
|
| タイトル: | Program Transformation Templates for Tupling Based on Term Rewriting |
| 著者: | Chiba, Yuki
Aoto, Takahito
Toyama, Yoshihito |
| キーワード: | program transformation
tupling
term rewriting |
| 発行日: | 2010-05-01 |
| 出版者: | The Institute of Electronics, Information and Communication Engineers (IEICE) |
| 誌名: | IEICE TRANSACTIONS on Information and Systems |
| 巻: | E93-D |
| 号: | 5 |
| 開始ページ: | 963 |
| 終了ページ: | 973 |
| DOI: | 10.1587/transinf.E93.D.963 |
| 抄録: | 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. |
| Rights: | Copyright (C) 2010 The Institute of Electronics, Information and Communication Engineers (IEICE). Yuki Chiba, Takahito Aoto and Yoshihito Toyama, IEICE TRANSACTIONS on Information and Systems, E93-D(5), 2010, 963-973. http://dx.doi.org/10.1587/transinf.E93.D.963 |
| URI: | http://hdl.handle.net/10119/9222 |
| 資料タイプ: | publisher |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 15359.pdf | | 262Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
