WEKO3
アイテム
条件付き等式の変換に基づくプログラム生成
http://hdl.handle.net/2237/21105
http://hdl.handle.net/2237/21105f048a66e-a923-4ccc-a3e4-3f4092bf019e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
110008001255.pdf (736.8 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2015-01-20 | |||||
| タイトル | ||||||
| タイトル | 条件付き等式の変換に基づくプログラム生成 | |||||
| 言語 | ja | |||||
| その他のタイトル | ||||||
| その他のタイトル | Program Generation Based on Transformation of Conditional Equations | |||||
| 言語 | en | |||||
| 著者 |
長島, 正憲
× 長島, 正憲× 酒井, 正彦× 坂部, 俊樹× 西田, 直樹× 草刈, 圭一朗× NAGASHIMA, Masanori× SAKAI, Masahiro× SAKABE, Toshiki× NISHIDA, Naoki× KUSAKARI, Keiichirou |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 権利 | ||||||
| 言語 | ja | |||||
| 権利情報 | (c)一般社団法人電子情報通信学会。本文データは学協会の許諾に基づきCiNiiから複製したものである | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | プログラム生成 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 条件付き等式 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | ホーン節 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 項書換え系 | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 以前に我々が提案したプログラム生成系GeneSysは,一階述語論理式で表現された仕様から実行可能なプログラムを生成するが,変換過程の論理式が複雑になりやすい欠点がある.本稿では,仕様の表現方法を条件付き等式(ホーン節)に制限し,単純かつ直観的なプログラム生成系の構築を目指す.その上で,プログラム生成のいくつかの実例を挙げる. | |||||
| 言語 | ja | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | Program-generation system GeneSys, which we have ever proposed, generates executable programs from first order equational specifications. The system is, however, apt to create complicated formulas during transformation. Instead, in this paper, we use conditional equations (Horn clauses) as specifications to try constructing a more simple and more intuitive system. On that basis, we give examples of program generation. | |||||
| 言語 | en | |||||
| 出版者 | ||||||
| 出版者 | 一般社団法人電子情報通信学会 | |||||
| 言語 | ja | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 出版タイプ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 関連情報 | ||||||
| 関連タイプ | isVersionOf | |||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://ci.nii.ac.jp/naid/110008001255 | |||||
| ISSN | ||||||
| 収録物識別子タイプ | PISSN | |||||
| 収録物識別子 | 0913-5685 | |||||
| 書誌情報 |
ja : 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス 巻 109, 号 343, p. 37-42, 発行日 2009-12 |
|||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
| URI | ||||||
| 識別子 | http://ci.nii.ac.jp/naid/110008001255 | |||||
| 識別子タイプ | URI | |||||
| URI | ||||||
| 識別子 | http://hdl.handle.net/2237/21105 | |||||
| 識別子タイプ | HDL | |||||
