WEKO3
アイテム
Program Transformation by Templates: A Rewriting Framework
https://ipsj.ixsq.nii.ac.jp/records/16537
https://ipsj.ixsq.nii.ac.jp/records/16537926a1ef4-afb9-43e6-9f61-6b0a69379019
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO4716006.pdf (307.0 kB)
|
Copyright (c) 2006 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2006-10-15 | |||||||
| タイトル | ||||||||
| タイトル | Program Transformation by Templates: A Rewriting Framework | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Program Transformation by Templates: A Rewriting Framework | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 通常論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| Research Institute of Electrical Communication Tohoku University | ||||||||
| 著者所属 | ||||||||
| Research Institute of Electrical Communication Tohoku University | ||||||||
| 著者所属 | ||||||||
| Research Institute of Electrical Communication Tohoku University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Research Institute of Electrical Communication, Tohoku University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Research Institute of Electrical Communication, Tohoku University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Research Institute of Electrical Communication, Tohoku University | ||||||||
| 著者名 |
Yuki, Chiba
× Yuki, Chiba
|
|||||||
| 著者名(英) |
Yuki, Chiba
× Yuki, Chiba
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | We propose a framework in this paper for transforming programs with templates based on term rewriting. The programs are given by term rewriting systems. We discuss how to validate the correctness of program transformation within our framework. We introduce a notion of developed templates and a simple method of constructing such templates without explicit use of induction. We then show that in any transformation of programs using the developed templates their correctness can be verified automatically. The correctness of program transformation within our framework is discussed based on operational semantics. We also present some examples of program transformations in our framework. | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | We propose a framework in this paper for transforming programs with templates based on term rewriting. The programs are given by term rewriting systems. We discuss how to validate the correctness of program transformation within our framework. We introduce a notion of developed templates and a simple method of constructing such templates without explicit use of induction. We then show that in any transformation of programs using the developed templates, their correctness can be verified automatically. The correctness of program transformation within our framework is discussed based on operational semantics. We also present some examples of program transformations in our framework. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 47, 号 SIG16(PRO31), p. 52-65, 発行日 2006-10-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
