講演名 | 1993/9/21 再帰を含むプログラムの依存関係解析とそれに基づくプログラムスライシング 植田 良一, 練 林, 井上 克郎, 鳥居 宏次, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | プログラムスライシング技術は,プログラム内のある地点のある変数の値に影響を与える文(slice)を抽出する技術で,様々な分野で応用されている.本論文では,プログラム依存グラフおよび到達定義集合をもとにして,再帰を含むプログラムにも適応可能なプログラムスライシングアルゴリズムを紹介する.この手法は従来のアルゴリズムに比べて,対話的にプログラムのslice情報を提供するシステムに容易に組み込むことができる. |
抄録(英) | The program slicing technique,originally introduced by Mark Weiser,is so useful that it is used in various fields.The slices of a program are collection of all statements that might affect the value of selected variables at a selected point in the program. In this paper we propose a slicing algorithm where we introduce the extended program dependence graphs and the reaching definitions sets.This algorithm can be naturally applicable to self , Also,it would be easily implemented for a program development system which interactively gives the developers various slice information. |
キーワード(和) | プログラム依存グラフ / 到達定義集合 / 再帰 / 制御依存関係 / データ依存 関係 |
キーワード(英) | Program Dependence Graph / Reaching Definition / Recursion / Control Dependence / Data Dependence |
資料番号 | SS93-24 |
発行日 |
研究会情報 | |
研究会 | SS |
---|---|
開催期間 | 1993/9/21(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Software Science (SS) |
---|---|
本文の言語 | JPN |
タイトル(和) | 再帰を含むプログラムの依存関係解析とそれに基づくプログラムスライシング |
サブタイトル(和) | |
タイトル(英) | Dependence Analysis and Program Slicing of Recursive Programs |
サブタイトル(和) | |
キーワード(1)(和/英) | プログラム依存グラフ / Program Dependence Graph |
キーワード(2)(和/英) | 到達定義集合 / Reaching Definition |
キーワード(3)(和/英) | 再帰 / Recursion |
キーワード(4)(和/英) | 制御依存関係 / Control Dependence |
キーワード(5)(和/英) | データ依存 関係 / Data Dependence |
第 1 著者 氏名(和/英) | 植田 良一 / Ryoichi Ueda |
第 1 著者 所属(和/英) | 大阪大学基礎工学部情報工学科 Department of Information and Computer Sciences,Faculty of Engineering Science,Osaka University |
第 2 著者 氏名(和/英) | 練 林 / Lin Lian |
第 2 著者 所属(和/英) | 大阪大学基礎工学部情報工学科 Department of Information and Computer Sciences,Faculty of Engineering Science,Osaka University |
第 3 著者 氏名(和/英) | 井上 克郎 / Katsuro Inoue |
第 3 著者 所属(和/英) | 大阪大学基礎工学部情報工学科 Department of Information and Computer Sciences,Faculty of Engineering Science,Osaka University |
第 4 著者 氏名(和/英) | 鳥居 宏次 / Koji Torii |
第 4 著者 所属(和/英) | 奈良先端科学技術大学院大学 Advanced Institute of Science and Technology,Nara |
発表年月日 | 1993/9/21 |
資料番号 | SS93-24 |
巻番号(vol) | vol.93 |
号番号(no) | 244 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |