WEKO3
アイテム
THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS
http://hdl.handle.net/10252/00005830
http://hdl.handle.net/10252/000058300c8d68f2-5fb3-4052-b110-bfc4de7c515f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IJICIC2013-9-6 (237.1 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2018-09-21 | |||||
| タイトル | ||||||
| タイトル | THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| キーワード | ||||||
| 言語 | en | |||||
| 主題Scheme | Other | |||||
| 主題 | Equivalent transformation (ET) rule | |||||
| キーワード | ||||||
| 言語 | en | |||||
| 主題Scheme | Other | |||||
| 主題 | Logical equivalence (LE) | |||||
| キーワード | ||||||
| 言語 | en | |||||
| 主題Scheme | Other | |||||
| 主題 | Equivalence relationship of clause sets | |||||
| キーワード | ||||||
| 言語 | en | |||||
| 主題Scheme | Other | |||||
| 主題 | Rule generation mapping (RGM) | |||||
| キーワード | ||||||
| 言語 | en | |||||
| 主題Scheme | Other | |||||
| 主題 | LE in Class S | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 著者 |
Miura, Katsunori
× Miura, Katsunori× Akama, Kiyoshi× Mabuchi, Hiroshi× Koike, Hidekatsu |
|||||
| 著者別名 | ||||||
| 識別子Scheme | WEKO | |||||
| 識別子 | 32525 | |||||
| 姓名 | 三浦, 克宜 | |||||
| 言語 | ja | |||||
| 書誌情報 |
en : International Journal of Innovative Computing, Information and Control 巻 9, 号 6, p. 2635-2650, 発行日 2013-06 |
|||||
| 出版者 | ||||||
| 出版者 | ICIC International | |||||
| 言語 | en | |||||
| ISSN / EISSN | ||||||
| 収録物識別子タイプ | PISSN | |||||
| 収録物識別子 | 1349-4198 | |||||
| 書誌ID（NCID） | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AA12218449 | |||||
| 権利表記 | ||||||
| 言語 | en | |||||
| 権利情報 | ©2013 ICIC International | |||||
| テキストバージョン | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 日本十進分類法 | ||||||
| 言語 | ja | |||||
| 主題Scheme | NDC | |||||
| 主題 | 375 | |||||
| NIIサブジェクト | ||||||
| 言語 | ja | |||||
| 主題Scheme | Other | |||||
| 主題 | メディア・コミュニケーション | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | To propose methods for making Equivalent Transformation (ET) rules is important for generating correct and sufficiently efficient programs from a specification which is a set of logical formulas. An ET rule is a procedure for replacing a clause set with another one while preserving declarative meaning. This paper proposes a new method for making ET rules via a Logical Equivalence (LE) from a specification. An LE describes an equivalence relationship between two logical formulas under some specified preconditions. We newly formulate an LE and define the correctness of LEs with respect to a specification. It is guaranteed by the method of this paper that an ET rule can be made from a correct LE. The method is useful for the generation of various programs. Many ET rules included in programs which solve constraint satisfaction problems, can be made by the method. | |||||
| 言語 | en | |||||
