再帰を含むプログラムの依存関係解析とそれに基づくプログラムスライシング

• Item type: SIG Technical Reports(1)
• 公開日: 1993-09-21
• タイトル: 再帰を含むプログラムの依存関係解析とそれに基づくプログラムスライシング
• タイトル / 言語: en
• タイトル: Dependence Analysis and Program Slicing of Recursive Programs
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 大阪大学基礎工学部情報工学科
• 著者所属: 大阪大学基礎工学部情報工学科
• 著者所属: 大阪大学基礎工学部情報工学科
• 著者所属: 奈良先端科学技術大学院大学情報科学研究科
• 著者所属(英): en
• 著者所属(英): Department of Information and Computer Sciences Faculty of Engineering Science, Osaka University
• 著者所属(英): en
• 著者所属(英): Department of Information and Computer Sciences Faculty of Engineering Science, Osaka University
• 著者所属(英): en
• 著者所属(英): Department of Information and Computer Sciences Faculty of Engineering Science, Osaka University
• 著者所属(英): en
• 著者所属(英): Advanced Institute of Science and Technology, Nara
• 著者名: 植田, 良一; 練, 林; 井上, 克郎; 鳥居, 宏次
• 著者名(英): Ryoichi, Ueda; Lin, Lian; Katsuro, Inoue; Koji, Torii
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: プログラムスライシング技術は，プログラム内のある地点のある変数の値に影響を与える文 (i) を抽出する技術で，様々な分野で応用されている．本論文では，プログラム依存グラフおよび到達定義集合をもとにして，再帰を含むプログラムにも適応可能なプログラムスライシングアルゴリズムを紹介する．この手法は従来のアルゴリズムに比べて，対話的にプログラムのslice情報を提供するシステムに容易に組み込むことができる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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/mutual recursive programs as well as non recursive ones. Also, it would be easily implemented for a program development system which interactively gives the developers various slice information.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 1993, 号 84(1993-SE-094), p. 33-40, 発行日 1993-09-21
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会