条件部と実行部を持つ等価変換ルールの自動生成

• Item type: SIG Technical Reports(1)
• 公開日: 1999-11-25
• タイトル: 条件部と実行部を持つ等価変換ルールの自動生成
• タイトル / 言語: en
• タイトル: Automatic Generation of Equivalent Transformation Rules That Have Condition Atoms and Execution Atoms
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 北海道大学大学院工学研究科システム情報工学専攻
• 著者所属: 北海道大学情報メディア教育研究総合センター
• 著者所属: 北海道大学大学院工学研究科システム情報工学専攻
• 著者所属(英): en
• 著者所属(英): Division of System and Information Engineering, Hokkaido University
• 著者所属(英): en
• 著者所属(英): Center of Information and Multimedia Studies, Hokkaido University
• 著者所属(英): en
• 著者所属(英): Division of System and Information Engineering, Hokkaido University
• 著者名: 小池, 英勝; 赤間, 清; 宮本, 衛市
• 著者名(英): Hidekatsu, Koike; Kiyoshi, Akama; Eiichi, Miyamoto
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 仕様から効率的なプログラムを自動合成することを目的として，我々は，問題を宣言的に記述した確定節の集合から，多数の正当な等価変換ルールの集合を生成する方法^)と，そのための基礎理論を提案している^)．これまでに提案したルール生成法は，対象が条件部と実行部を持たない等価変換ルールであった．本論文では，条件部と実行部を持った等価変換ルールを自動生成する方法を提案する．条件部と実行部を持つ等価変換ルールの自動生成は，自動合成可能なプログラムの効率を大きく改善する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In order to generate correct and efficient programs from specifications automatically, we have proposed a method of generating many correct equivalent transformation (ET) rules from declarative descriptions (sets of definite clauses)^4) and theoretical foundation for the method^5). We can generate only ET rules that have neither condition atom nor execution atom by using the method. This paper proposes a method of generating ET rules that have condition atoms and execution atoms. This new method much improves efficiencies of programs that can be generated automatically.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10505667
• 書誌情報: 情報処理学会研究報告数理モデル化と問題解決（MPS）; 巻 1999, 号 96(1999-MPS-027), p. 41-44, 発行日 1999-11-25
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会