Automatic Construction of Program Transformation Templates
-
- Chiba Yuki
- Research Institute of Electrical Communication, Tohoku University
-
- Aoto Takahito
- Research Institute of Electrical Communication, Tohoku University
-
- Toyama Yoshihito
- Research Institute of Electrical Communication, Tohoku University
この論文をさがす
抄録
Program transformation by templates (Huet and Lang, 1978)is a technique to improve the efficiency of programs. In this technique, programs are transformed according to a given program transformation template. To enhance the variety of program transformation, it is important to introduce new transformation templates. Up to our knowledge, however, few works discuss about the construction of transformation templates. Chiba, et al. (2006) proposed a framework of program transformation by template based on term rewriting and automated verification of its correctness. Based on this framework, we propose a method that automatically constructs transformation templates from similar program transformations. The key idea of our method is a second-order generalization, which is an extension of Plotkin's first-order generalization (1969). We give a second-order generalization algorithm and prove the soundness of the algorithm. We then report about an implementation of the generalization procedure and an experiment on the construction of transformation templates.
収録刊行物
-
- Information and Media Technologies
-
Information and Media Technologies 3 (2), 211-224, 2008
Information and Media Technologies 編集運営会議
- Tweet
キーワード
詳細情報 詳細情報について
-
- CRID
- 1390282680241657984
-
- NII論文ID
- 110006594921
- 130000058178
-
- NII書誌ID
- AA11464814
-
- ISSN
- 03875806
- 18827802
- 18810896
-
- NDL書誌ID
- 9338515
-
- 本文言語コード
- en
-
- データソース種別
-
- JaLC
- IRDB
- NDL
- CiNii Articles
- KAKEN
-
- 抄録ライセンスフラグ
- 使用不可