2024-03-28T23:09:26Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000335882023-04-27T10:00:04Z01164:02735:02790:02791
条件部と実行部を持つ等価変換ルールの自動生成Automatic Generation of Equivalent Transformation Rules That Have Condition Atoms and Execution Atomsjpnhttp://id.nii.ac.jp/1001/00033588/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=33588&item_no=1&attribute_id=1&file_no=1Copyright (c) 1999 by the Information Processing Society of Japan北海道大学大学院工学研究科システム情報工学専攻北海道大学情報メディア教育研究総合センター北海道大学大学院工学研究科システム情報工学専攻小池, 英勝赤間, 清宮本, 衛市仕様から効率的なプログラムを自動合成することを目的として,我々は,問題を宣言的に記述した確定節の集合から,多数の正当な等価変換ルールの集合を生成する方法^)と,そのための基礎理論を提案している^).これまでに提案したルール生成法は,対象が条件部と実行部を持たない等価変換ルールであった.本論文では,条件部と実行部を持った等価変換ルールを自動生成する方法を提案する.条件部と実行部を持つ等価変換ルールの自動生成は,自動合成可能なプログラムの効率を大きく改善する.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.AN10505667情報処理学会研究報告数理モデル化と問題解決(MPS)199996(1999-MPS-027)41441999-11-252009-06-30