WEKO3
アイテム
Program Transformations based on Term Rewriting Systems
https://ipsj.ixsq.nii.ac.jp/records/31299
https://ipsj.ixsq.nii.ac.jp/records/3129951478dae-ec94-4a54-9980-4f049fae5b2f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-PRO85015001.pdf (908.8 kB)
|
Copyright (c) 1985 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1985-12-20 | |||||||
| タイトル | ||||||||
| タイトル | Program Transformations based on Term Rewriting Systems | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Program Transformations based on Term Rewriting Systems | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| NTT Electrical Communications Laboratories | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NTT Electrical Communications Laboratories | ||||||||
| 著者名 |
TOYAMA, Yoshihito
× TOYAMA, Yoshihito
|
|||||||
| 著者名(英) |
Yoshihito, Toyama
× Yoshihito, Toyama
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Simple methods for testing equivalence of term rewriting systems are presented. Using the Church-Rosser property sufficient conditions for equivalence in a restricted domain of term rewriting systems are proved. These conditions can be effectively applied to obtain equivalence transformation rules for term rewriting systems. Program transformations based on these rules are discussed. | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Simple methods for testing equivalence of term rewriting systems are presented. Using the Church-Rosser property, sufficient conditions for equivalence in a restricted domain of term rewriting systems are proved. These conditions can be effectively applied to obtain equivalence transformation rules for term rewriting systems. Program transformations based on these rules are discussed. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10485570 | |||||||
| 書誌情報 |
情報処理学会研究報告プログラミング（PRO） 巻 1985, 号 58(1985-PRO-015), p. 1-9, 発行日 1985-12-20 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
