PASCALプログラムにおける変数定義・使用に関するデータフロー解析

• Item type: Journal(1)
• 公開日: 1980-01-15
• タイトル: PASCALプログラムにおける変数定義・使用に関するデータフロー解析
• タイトル / 言語: en
• タイトル: Data Flow Analysis for Def - Use Relationships of Variables in PASCAL Program
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 北海道大学工学部情報工学専攻
• 著者所属(英): en
• 著者所属(英): Division of Information Engineering, Faculty of Engineering, Hokkaido University
• 著者名: 宮本, 衛市
• 著者名(英): Eiichi, Miyamoto
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文は PASCALプログラムを対象として開発したデータフロー解析用ソフトウェアツールで用いられている解析手法を述べたものである.PASCALはその言語仕様の簡潔さと強力なデータ構造記述能力により普及のめざましい言語であるが その反面 抽象データタイプの概念がないこと ポインタ型のデータタイプを陽に使用できること 変数パラメータあるいは大域的変数の使用に関して何ら制限がないことなどにより 誤ちを犯しやすい言語でもある.今回開発したツールは PASCALの弱点をデータフロー解析に基づいたプログラム診聞により補おうとするものであって その主な診断項目としては 動的変数の領域割付け 変数の定義・使用 手続き呼出し時のデータ受渡しなどに関する問題であり データフロー上の問題点を指摘するが 最終的にはプログラマの判断に委ねることになる.本手法では プログラムの1回の走査に基づいて診断する.そのための基本的な考え方は プログラムの任意の個所で 診断するためのフローが未解析の場合 その個所でフローに異常をきたさないための要求事項を生成し 診断を後出のフロー解析まで保留しておくことである.この考えをパラメータあるいは大域的変数の振舞い さらにはこれらによって参照される動的変数 およびgoto文による分岐・合流に対して適用して解析している.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 21, 号 1, p. 8-14, 発行日 1980-01-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764