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
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.pdf262KbAdobe PDF見る/開く



お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係