講演名 1993/5/19
データフローモデルに基づく知的プログラム開発支援環境
廣田 豊彦, 橋本 正明,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 我々はデータフロー情報を採り入れたより高度なプログラムプランに基づく知的プログラム開発支援環境IPSEの構築を進めている.IPSEは,主に1)プランに基づく既成プログラムの意味理解,2)プランを用いたプログラムの生成,の2つの処理を行うシステムである.プログラムプランは,プログラム断片と,それが表す処理内容の意味記述の対である.IPSEでは,ソースプログラムは,抽象的なデータフローモデルの形で扱われており,プログラムプランもそれに応じた形で蓄積される.現実のプログラムはきわめて多様であり,それを特定のプログラムプランで照合することは容易ではない.本研究では,データフロー解析の結果を利用することによって,そのようなプログラムの多様性を減らし,より有効なプランの利用を目指している.
抄録(英) We are developing an intelligent programming support environment IPSE bised on advanced program plans with data-flow information. IPSE is a system mainly for 1)understanding the meaning of existent programs based on plans,and 2)program synthesis using plans.A program plan consists of a program fragment and the semantic description of its processing.In IPSE,source programs are manipulated as abstract data-flow models,and program plans are stored as the same models.Because practical programs have wide variety,it is seldom that that they can match a specific set of program plans.In our research,we aim to reduce the variety of programs by using the result of data-flow analysis,and utilize program plans with advantage.
キーワード(和) データフロー解析 / データフローモデル / プログラミング環境 / プログラム合成 / プログラムプラン
キーワード(英) data-flow analysis / data-flow model / programming environment / program synthesis / program plan
資料番号 KBSE93-3
発行日

研究会情報
研究会 KBSE
開催期間 1993/5/19(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Knowledge-Based Software Engineering (KBSE)
本文の言語 JPN
タイトル(和) データフローモデルに基づく知的プログラム開発支援環境
サブタイトル(和)
タイトル(英) Intelligent programming support environment based on data-flow model
サブタイトル(和)
キーワード(1)(和/英) データフロー解析 / data-flow analysis
キーワード(2)(和/英) データフローモデル / data-flow model
キーワード(3)(和/英) プログラミング環境 / programming environment
キーワード(4)(和/英) プログラム合成 / program synthesis
キーワード(5)(和/英) プログラムプラン / program plan
第 1 著者 氏名(和/英) 廣田 豊彦 / Toyohiko Hirota
第 1 著者 所属(和/英) 九州工業大学情報工学部
Faculty of Computer Science and Systems Engineering,Kyushu Institute of Technology
第 2 著者 氏名(和/英) 橋本 正明 / Masaaki Hashimoto
第 2 著者 所属(和/英) 九州工業大学情報工学部
Faculty of Computer Science and Systems Engineering,Kyushu Institute of Technology
発表年月日 1993/5/19
資料番号 KBSE93-3
巻番号(vol) vol.93
号番号(no) 30
ページ範囲 pp.-
ページ数 8
発行日