JPH08194624A - 実行形式プログラム作成方法 - Google Patents

Abstract

(57)【要約】 【目的】 実行形式プログラムの作成方法に関し，添字
範囲チェックもしくは未定義変数チェック等を高速に処
理できるようにすることを目的とする。 【構成】 ソースプログラムの翻訳部と翻訳されたプロ
グラムを検査する検査手段を備える実行形式プログラム
作成手段により，プログラム検査可能な実行形式プログ
ラムを作成する方法において，翻訳部は，ソースプログ
ラムを解析して中間テキストを生成し，中間テキストに
おいて繰り返し処理を求め，該繰り返し処理の開始値も
しくは終了値のみで検査可能な該要素の検査手段は繰り
返し処理の外に設ける構成を持つ。

Description

【発明の詳細な説明】

【０００１】本発明は，ソースプログラムをコンパイル
して生成される実行形式プログラムの作成方法に関し，
特に，配列等の添字範囲の検査もしくは未定義配列，未
定義変数等の検査を高速に処理する実行形式プログラム
作成方法に関する。

【０００２】ＦＯＲＴＲＡＮ等の高級プログラム言語
は，コンパイラにより生成された中間テキストに対し
て，処理で使用される配列要素が，定義された配列の大
きさの範囲内にあるかないかの検査をする添字範囲チェ
ック（ＦＯＲＴＲＡＮでは一般的にＳＵＢＣＨＫでサポ
ートされている），もしくは配列または変数が定義され
ないで代入文の右辺やＷＲＩＴＥ文の出力並びに記述さ
れているかいないかをチェックする未定義変数チェック
（ＦＯＲＴＲＡＮでは一般的にＵＮＤＥＦにおいてサポ
ートされている）ができるようになっている。

【０００３】ソースプログラムにＤＯループのような繰
り返し処理で使用される配列要素，変数等に対して添字
チェック，未定義チェックを行う場合には，ＤＯループ
の中にＳＵＢＣＨＫ，ＵＮＤＥＦ等が組み込まれるた
め，実行時のプログラム検査に長時間を必要とした。

【０００４】本発明は，添字範囲チェックもしくは未定
義変数チェック等を高速に処理できる実行形式プログラ
ムを提供する。

【０００５】

【従来の技術】図９は従来技術の説明図１であって，Ｆ
ＯＲＴＲＡＮ７７の場合を示す。図９において，２００
はソースプログラムの例であって，ＤＯループの記述で
ある。

【０００６】２０１はコンパイルにより生成される命令
列であって，ソースプログラム２００に対してＳＵＢＣ
ＨＫ，ＵＮＤＥＦを指定して配列の添字範囲チェック，
未定義変数チェックをするようにコンパイルした場合に
生成される実行形式プログラムである。

【０００７】図１０は従来の技術の説明図２である。図
１０はＤＯループで使用される配列のパラメータリスト
を示す。２２０はパラメータリストであって，配列の名
前のポインタ，配列Ａ（Ａは配列名）の宣言部（配列の
最小値が１，最大値が１００であることを示す）および
添字式の値（Ｉ）が格納される領域により構成される。
添字式の値Ｉは，１から１００までの値である。それ以
外なら実行時にエラーとなる。

【０００８】２２１は，配列Ａの名前の領域であり，パ
ラメータリスト２２０の配列の名前のポインタで指定さ
れる領域である。配列を割り付ける領域のポインタを持
つ。２２２は配列Ａの割り付け領域であって，配列の名
前Ａの領域２２１のポインタで指定される領域である。

【０００９】図９のプログラムの動作の説明をする。ソ
ースプログラム２００のＤＯループの記述に対して，Ｓ
ＵＢＣＨＫ，ＵＮＤＥＦを指定してコンパイルすると実
行形式プログラム２０１が作成される。

【００１０】ＣＡＬＬ ＳＵＢＣＨＫ（Ａ（Ｉ））等は
ＳＵＢＣＨＫを呼び出す命令である。ＣＡＬＬ ＵＮＤ
ＥＦ（Ｂ（Ｉ））等はＵＮＤＥＦを呼び出す命令であ
る。ｔ１はコンパイラにより生成されるテンポラリであ
る。

【００１１】実行形式プログラム２０１を実行すると，
ＤＯループの処理のＩ＝１〜５０において，Ｉの取る各
値毎にＡ（Ｉ），Ｂ（Ｉ），Ｃ（Ｉ）が定義されたＡの
配列１〜１００，Ｂの配列１〜１００，Ｃの配列１〜１
００の範囲にあるかないかがＳＵＢＣＨＫで検査され
る。また，演算式Ａ＝Ｂ＋Ｃの右辺のＢ，Ｃが定義され
た範囲のものであるかどうかがＵＮＤＥＦにおいて検査
される。そして，ＳＵＢＣＨＫでは添字が定義範囲外
（例えば，配列（１０１）等）の配列が生成されたり，
もしくはＵＮＤＥＦでは未定義の配列要素名や変数名が
代入文の右辺に存在したり，未定義でＷＲＩＴＥ文の出
力並びに使用されたりしているとエラーとして扱われ，
実行時にエラーメッセージが出力される。

【００１２】

【発明が解決しようとする課題】従来の添字範囲チェッ
ク，未定義変数チェックは，例えばＤＯループ等の繰り
返し処理で使用される配列要素，変数を検査する場合，
ＤＯループの中に検査手段が組み込まれる。そのため，
ＤＯループで順次指定される配列要素毎に定義範囲と比
較していたので，実行処理に長時間を要した。

【００１３】本発明は，ＤＯループに含まれる配列要素
の添字範囲チェック（ＳＵＢＣＨＫ），未定義の配列要
素名（Ａ（Ｉ），Ｂ（Ｉ），Ｃ（Ｉ）等）や変数名又は
配列要素の検査（ＵＮＤＥＦ）を高速に処理できる実行
形式プログラムの作成方法を提供することを目的とす
る。

【００１４】

【課題を解決するための手段】本発明は，ＤＯループに
含まれる配列要素の添字範囲チェック，未定義の配列要
素や変数のチェックをＤＯループの外に設けることによ
り，添字範囲チェック，未定義の配列要素や変数チェッ
クを高速に行うことができるようにした。

【００１５】図１の本発明の基本構成を説明する前に，
図１１（本発明の技術の説明図）により本発明の添字式
について説明する。図１１において，２３０はパラメー
タリストである。図１０のパラメータリストとの違い
は，ＤＯループの開始値，終了値，増分値を添字式の値
部に持つ点である。

【００１６】２３１は配列Ａの名前の領域である。２３
２は配列Ａの割り付け領域でる。図１は本発明の基本構
成を示す。

【００１７】図１において，１はソースプログラムであ
って，ＤＯループ等の繰り返し処理を含むものである。

【００１８】２は処理の要素Ａの定義（定義範囲）の記
述を表す。３は要素Ａを含む繰り返し処理の記述を表す
（ＤＯループ等の開始値，終了値等を含む）。

【００１９】１０は翻訳部であって，ソースプログラム
１を実行形式プログラムに翻訳（コンパイル）するもの
である。１１は中間テキスト生成部であって，翻訳され
た中間テキストを作成するものである。

【００２０】１２は繰り返し情報テーブル作成部であっ
て，繰り返し処理の開始値，終了値等を含む繰り返し情
報テーブルを作成するものである。１３は繰り返し情報
テーブルである。

【００２１】１４は検査手段挿入命令作成部であって，
検査手段保持部１５から検査手段を呼び込む命令を作成
するものである。１５は検査手段保持部であって，添字
範囲チェック，未定義の配列要素や変数チェック等の検
査プログラムを保持するものである。

【００２２】１６は実行形式プログラム作成部であっ
て，複数の中間テキストを結合したり，検査手段を中間
テキストに組み込むものである。２１は検査手段であっ
て，配列の定義範囲検査等の繰り返し処理の開始値，終
了値及び増分値で検査できるものである（例えば，ＳＵ
ＢＣＨＫ）。あるいは，初期値（デフォルト値）と比較
することにより検査できる未定義配列要素や変数チェッ
ク等（例えば，ＵＮＤＥＦ）を行うものである。

【００２３】２２は繰り返し処理の実行形式プログラム
である。２３は繰り返し情報保持部であって，繰り返し
情報テーブル１３から取り込んだ繰り返し情報を保持す
るものである。

【００２４】

【作用】図１の本発明の基本構成の動作を説明する。翻
訳部１０はソースプログラム１を入力する。そして，中
間テキスト生成部１１はソースプログラム１を翻訳し，
中間テキストを作成する。その際，繰り返し情報テーブ
ル作成部１２は中間テキストに含まれるＤＯループ等の
繰り返し処理を求め，その記述から繰り返し処理の開始
値，終了値等を含む繰り返し情報テーブル１３を作成す
る。さらに，検査手段挿入命令作成部１４は検査手段を
中間テキストに挿入するための命令を作成する。その
時，繰り返し要素で使用される配列要素に加算，乗算等
の演算子が含まれていなければ，繰り返し処理の外に検
査手段を配置する。

【００２５】実行形式プログラム作成部１６は，複数の
中間テキストを結合し，検査手段挿入命令に基づいて検
査手段保持部１５から検査手段を取り出し，指定された
箇所に検査手段を挿入し，実行形式プログラムを作成す
る。

【００２６】実行形式プログラム２０を実行させると，
検査手段２１は，繰り返し情報保持部２３に含まれる繰
り返し処理の開始値と終了値を参照し，実行処理におい
て生成される配列の範囲が定義された範囲内にあるかな
いかを判定する，また，未定義変数の検査も変数定義の
初期値（変数のデフォルト値）の変更の有無に基づいて
判定する。さらに，繰り返し処理の実行形式プログラム
２２等のプログラムが実行される。検査手段２１の検査
の判定結果によりエラーが判定された場合には，エラー
を表示する。

【００２７】本発明によれば，ＤＯループ等の繰り返し
処理に含まれる配列要素，変数等の検査を高速に処理で
きるようになる。以下，本発明についてＦＯＲＴＲＡＮ
のＤＯ文（ループ）を例として説明するが，本発明はＦ
ＯＲＴＲＡＮ９０のＷＨＥＲＥ文によるループ，Ｃ言語
のＦＯＲ文等の他の言語もしくは繰り返し処理に対して
も適用できるものである。

【００２８】

【実施例】図２は本発明の実行形式プログラム作成手段
の実施例構成を示す。図２において，１はソースプログ
ラムである。

【００２９】５は実行形式プログラム作成手段である
（一般的にコンバイラと呼ばれているものである）。１
６は実行形式プログラム作成部である（一般的に結合編
集処理と呼ばれている処理を行うものである）。

【００３０】２０は実行形式プログラム（ロードモジュ
ール）である。３０は構文解析部であって，ソースプロ
グラムの字句解析，構文解析を行い，中間テキストを作
成するものである。また，ＤＯループを含む中間テキス
トにフラグを付加する（フラグのかわりに入れ子（ＮＥ
ＳＴ）を指示するものでも良い）。そして，構文解析部
において，ＤＯループ情報作成部（図１の繰り返し情報
テーブル作成部に相当する）はフラグもしくは入れ子の
識別子（ＮＥＳＴ）によりＤＯループを識別し，ＤＯル
ープ情報テーブルを作成する。

【００３１】３１は意味解析部であって，中間テキスト
の意味解析（演算子，代入文の識別等）を行い，範囲Ｓ
ＵＢＣＨＫ（配列要素の範囲検査をＤＯループの外にお
いて配列要素の検査をする手段）か要素ＳＵＢＣＨＫ
（配列要素の範囲検査をＤＯループの中において検査す
る手段（従来のＳＵＢＣＨＫ））を挿入する命令を作成
するものである。ＵＮＤＥＦについても同様であり，範
囲ＵＮＤＥＦ（ＤＯループの外において未定義かどうか
を一括してチェックする手段）をＤＯループ文の外に配
置するか要素ＵＮＤＥＦ（従来のＵＮＤＥＦに同じ）を
ＤＯループ文の中に作成する。（以後，範囲ＳＵＢＣＨ
Ｋと要素ＳＵＢＣＨＫについて説明するが，範囲ＵＮＤ
ＥＦ，要素ＵＮＤＥＦについても同様であるので省略す
る）。

【００３２】３２は，番地割付け部であって，変数，定
数，配列等に領域（番地）を割りつけるものである。ま
た，ＤＯループで使用される配列のパラメータリスト
（図１の繰り返し情報保持部に保持された情報に相当す
る）を作成し，番地を割り付けるものである。

【００３３】（図１の中間テキスト生成部，繰り返し情
報テーブル作成部は構文解析部３０，意味解析部３１を
合わせた構成の中に含まれる）。３３はコード生成部
（図１の検査手段挿入命令作成部に相当する）であっ
て，レジスタの割り付けと中間テキストをハード命令
（機械語の命令）に変換するものである。また，範囲Ｓ
ＵＢＣＨＫと要素ＳＵＢＣＨＫの中間テキストからそれ
ぞれの検査手段を持つライブラリ呼出し命令を作成する
ものである。

【００３４】３４はライブラリ（図１の検査手段保持部
に相当する）であり，範囲ＳＵＢＣＨＫ，要素ＳＵＢＣ
ＨＫの機能を持ち，結合編集時に結合される。図３は構
文解析部の実施例を示す。

【００３５】図３において，３０は構文解析部である。
４０は中間テキスト作成部である。

【００３６】４１，４２，４３は，それぞれ中間テキス
ト作成部４０で作成された中間テキスト１，中間テキス
ト２，ＤＯループ中間テキスト４３である。４４はＤＯ
ループの中間テキストを表し，フラグを持つものであ
る。フラグの代わりＮＥＳＴ（入れ子の識別子）を持た
せるようにしても良い。

【００３７】５０はＤＯループ情報テーブルであって，
次のＤＯループ情報テーブル５１を示すＮＥＸＴ，ＤＯ
ループの開始値，終了値，増分値を持つ定数テーブルを
指定するデータ，ＤＯループ文の先頭シーケンス番号，
ＤＯループ文の最終シーケンス番号を持つものである
（ＤＯループ文の先頭シーケンス番号と最終シーケンス
番号については図１のソースプログラム１参照）。ＤＯ
ループ文の先頭シーケン番号と最終シーケンス番号によ
りＤＯループ文の範囲を検出する。

【００３８】５１は次のＤＯループ情報テーブルであ
る。５２は定数テーブルであって，ＤＯループ情報テー
ブル５０で指定された開始値，終了値，増分値（標準は
１）を持つものである。

【００３９】図４は本発明の意味解析部の実施例であ
る。図４において，３１は意味解析部である。

【００４０】６０はＳＵＢＣＨＫ設定手段である。６１
は範囲ＳＵＢＣＨＫ（配列要素の範囲検査をＤＯループ
文の外において配列要素の検査をする手段）か要素ＳＵ
ＢＣＨＫ（配列要素の範囲検査をＤＯループ部の中にお
いて検査する手段）を挿入する命令を作成するか判定す
るものである。

【００４１】６２はＳＵＢＣＨＫ挿入命令作成部であっ
て，範囲ＳＵＢＣＨＫを必要とする箇所に範囲ＳＵＢＳ
ＨＫを呼び出す命令を作成し，要素ＳＵＢＣＨＫを必要
とする箇所に要素ＳＵＢＣＨＫを呼び出す命令を作成す
るものである。

【００４２】６３は中間テキストであって，意味解析部
で生成された中間テキストを表す。６４は範囲ＳＵＢＣ
ＨＫの挿入命令である。６５はＤＯループ処理開始行の
記述を表す。

【００４３】６６は要素ＳＵＢＣＨＫ挿入命令である。
６７はＤＯループ処理終了行の記述を表す。図４の構成
において，ＳＵＢＣＨＫ挿入命令作成部は，ＤＯループ
の中間テキストの添字式が単純式（例えば，変数だけか
定数だけで構成された場合）であるかないかを判定し，
単純式であれば，範囲ＳＵＢＣＨＫがＤＯループの外に
配置されるように範囲ＳＵＢＣＨＫを取り出す命令を作
成する。また，ＳＵＢＣＨＫ挿入命令作成部は，ＤＯル
ープの中間テキストの添字式が複雑であれば，要素ＳＵ
ＢＣＨＫがＤＯループの中に配置されるように要素ＳＵ
ＢＣＨＫを取り出す命令を作成する。

【００４４】中間テキスト６３はそのようにして配置さ
れた範囲ＳＵＢＣＨＫと要素ＳＵＢＣＨＫの配置を示
す。範囲ＳＵＢＣＨＫはＤＯループの外に配置され，要
素ＳＵＢＣＨＫはＤＯループの中に配置される。

【００４５】図５は本発明のソースプログラムと中間テ
キストの例を示す。図５において，１はソースプログラ
ムの例であって，ＤＯループの記述である。

【００４６】７０は中間テキストであって，ＳＵＢＣＨ
Ｋを指定されてソースプログラム１を翻訳したものであ
る。７１は範囲ＳＵＢＣＨＫ（ＨＳＵＢＣＨＫ）の呼び
出し命令の挿入である。

【００４７】７２は要素ＳＵＢＣＨＫ（ＹＳＵＢＣＨ
Ｋ）の呼び出し命令の挿入である。配列Ａ（Ｉ），Ｃ
（Ｉ）の配列の添字範囲検査は要素に演算子が含まれて
いないので範囲ＳＵＢＣＨＫの呼び出し命令「ＣＡＬＬ
ＨＳＵＢＣＨＫ（Ａ，１，１００，１，５０，
１）」，「ＣＡＬＬ ＨＳＵＢＣＨＫ（Ｃ，１，１０
０，１，５０，１ ）」により繰り返し処理の外に配置
されるように配置する（厳密には，命令は属性，次元数
も含むが，本説明では省略する）。

【００４８】配列Ｂ（Ｉ）のＳＵＢＣＨＫは配列Ｂの添
字式（Ｉ＋１）が単純式でないので要素ＳＵＢＣＨＫの
呼び出し命令「ＣＡＬＬ ＹＳＵＢＣＨＫ（Ｂ，１，１
００，ｔ１）」により繰り返し処理の中に配置されるよ
うにする。

【００４９】図６は本発明の実行形式プログラム作成手
段の実施例のフローチャートである。 Ｓ１ ソースプログラムを入力する。

【００５０】Ｓ２ 構文解析部はソースプログラムの字
句解析，構文解析を行い，中間テキストを作成する。そ
して，ＤＯループにフラグもしくは入れ子の識別子（Ｎ
ＥＳＴ）を付加する。

【００５１】Ｓ３ 構文解析部はＤＯループ情報テーブ
ルを作成する。 Ｓ４ 意味解析部は構文解析部の作成した中間テキスト
を元に意味解析をする。

【００５２】Ｓ５，Ｓ６ 意味解析部は，実行形式プロ
グラムにＳＵＢＣＨＫ，ＵＮＤＥＦを組み込む指定がユ
ーザによりなされているか判定する。ＳＵＢＣＨＫ，Ｕ
ＮＤＥＦの指定があればＳ７に進み，なければＳ１０に
進む。

【００５３】Ｓ７ ＤＯループの中間テキストの繰り返
し要素が単純式であるかないかを判定する。単純式であ
ればＳ８に進み，単純式でなければＳ９に進む。 Ｓ８ 意味解析部はＤＯループの外に範囲ＳＵＢＣＨ
Ｋ，（および／もしくは範囲ＵＮＤＥＦ）の呼び出し命
令を挿入する。必要により，範囲ＵＮＤＥＦの呼び出し
命令も挿入する。あるいは，範囲ＳＵＢＣＨＫでなく，
範囲ＵＮＤＥＦを呼び出す命令のみでも良い。

【００５４】Ｓ９ 意味解析部はＤＯループの中に要素
ＳＵＢＣＨＫ，（および／もしくは要素ＵＮＤＥＦ）の
呼び出し命令を挿入する。必要により，要素ＵＮＤＥＦ
の呼び出し命令も挿入する。あるいは，要素ＳＵＢＣＨ
Ｋでなく，要素ＵＮＤＥＦを呼び出す命令のみでも良
い。

【００５５】Ｓ１０ 番地割り付け部は変数，定数，配
列に番地（領域）を割付ける。 Ｓ１１ ＤＯループで使用される配列のパラメータリス
トを作成し，番地を割り付ける。このとき，ＤＯループ
情報テーブルより，ＤＯループの開始値，終了値，増分
等のパラメータを取り込む。

【００５６】Ｓ１２ 未定義配列，未定義変数を検出す
るための初期値を要素に設定する。 Ｓ１３ レジスタ割り付けを行い，中間テキストをハー
ド命令に変換する。 Ｓ１４ 範囲ＳＵＢＣＨＫと要素ＳＵＢＣＨＫの中間テ
キストからそれぞれの検査手段をもつライブラリ呼び出
し命令を作成する。

【００５７】例は，その命令列の例を示す。「ＬＡ
１，パラメータリスト」はパラメータリストをレジスタ
１に設定する命令である。「Ｌ １５，＝Ｖ（範囲ＳＵ
ＢＣＨＫ）」は範囲ＳＵＢＣＨＫ名の検査手段のあるア
ドレスをレジスタ１５に設定する命令である。「ＢＡＬ
Ｒ １４，１５」はレジスタ１５に設定されているアド
レスに分岐し，その処理を終了したらレジスタ１４に設
定されているアドレスに戻ることを指示する命令であ
る。

【００５８】ＤＣは１６進数（Ｘ）の長さ（Ｌ）が１バ
イトの「属性」と「次元数」をパラメータリストに設定
することを指示する命令である。 Ｓ１５ 実行形式プログラム作成部は各中間テキストを
結合編集する。このとき，範囲ＳＵＢＣＨＫ，要素ＳＵ
ＢＣＨＫを中間テキストに組み込む。

【００５９】Ｓ１６ 実行形式プログラムを出力する。 以後，範囲ＳＵＢＣＨＫ，要素ＳＵＢＣＨＫ，範囲ＵＮ
ＤＥＦ，要素ＵＮＤＥＦの含まれている実行形式プログ
ラムを実行する。その時，範囲ＳＵＢＣＨＫはＤＯルー
プの開始値と終了値をそれぞれ配列定義の最小数と最大
数と比較する。ＤＯループの開始値が配列の最小値より
大きく，ＤＯループの終了値が配列定義の最大値より小
さければ，ＤＯループで生成される配列は正しいと判定
する。

【００６０】例えば，図５のソースプログラム１の場
合，ＤＯループの開始値が１であり，終了値が５０であ
るから配列の定義の最小値Ａ（１）とＡ（１００）の範
囲にあるから正しいとされる。しかし，ＤＯループの初
期値がＩ＝０とされているとすると配列の最小値はＡ
（１）であるからエラーとされる。また，ＤＯループの
終了値が１０１とされているとすると，配列の最大値は
Ａ（１００）であるので配列定義の範囲外となりエラー
とされる。

【００６１】また，範囲ＵＮＤＥＦチェックは配列もし
くは変数の初期値（デフォルト）は常識的には使用され
ないような数値としておくことにより，配列もしくは変
数が定義されれば，数値が変更されるので，その配列も
しくは変数の初期により未定期配列，変数の有無の検査
（ＵＮＤＥＦ）を行うことができる。また，範囲ＵＮＤ
ＥＦで配列の添字の範囲については範囲ＳＵＢＣＨＫと
同様にＤＯループの初期値と終了値を配列定義の最小値
と最大値と比較することにより行う。

【００６２】そのようにしてエラーのない実行形式プロ
グラムが作成されたら，検査無しを指定して再度コンパ
イルすることにより検査手段を含まない実行形式プログ
ラムを作成する。

【００６３】

【発明の効果】本発明によれば，ＤＯループ等の繰り返
し処理に含まれる配列要素，変数等の検査を高速に処理
できるようになる。そのため，コンパイルを能率的に行
うことができるようになる。

【図面の簡単な説明】

【図１】本発明の基本構成を示す図である。

【図２】本発明の実行形式プログラム作成手段の実施例
構成を示す図である。

【図３】本発明の構文解析部の実施例を示す図である。

【図４】本発明の意味解析部の実施例を示す図である。

【図５】本発明のソースプログラムと中間テキストの例
を示す図である。

【図６】本発明の実施例の実行形式プログラム作成手段
のフローチャートを示す図である。

【図７】本発明の実施例の実行形式プログラム作成手段
のフローチャートを示す図である。

【図８】本発明の実施例の実行形式プログラム作成手段
のフローチャートを示す図である。

【図９】従来の技術の説明図１である。

【図１０】従来の技術の説明図２である。

【図１１】本発明の技術の説明図である。

【符号の説明】

１：ソースプログラム ２：処理の要素Ａの定義（定義範囲） ３：要素Ａを含む繰り返し処理（開始値，終了値） １０：翻訳部 １１：中間テキスト生成部 １２：繰り返し情報テーブル作成部 １３：繰り返し情報テーブル １４：検査手段挿入命令作成部 １５：検査手段保持部 １６：実行形式プログラム作成部 ２０：実行形式プログラム ２２：繰り返し処理の実行形式プログラム ２３：繰り返し情報保持部

Claims (4)

【特許請求の範囲】
1. 【請求項１】 ソースプログラムの翻訳部と翻訳された
   プログラムを検査する検査手段を備える実行形式プログ
   ラム作成手段により，プログラム検査可能な実行形式プ
   ログラムを作成する方法において，翻訳部は，ソースプ
   ログラムを解析して中間テキストを生成し，中間テキス
   トにおいて繰り返し処理を求め，該繰り返し処理の開始
   値もしくは終了値のみで検査可能な該要素の検査手段は
   繰り返し処理の外に設けることを特徴とする実行形式プ
   ログラム作成方法。
2. 【請求項２】 請求項１において，単純な式であるかな
   いかを判定し，単純な式であれば該検査手段を繰り返し
   処理の外に挿入し，単純式でなければ検査手段を繰り返
   し処理の内部に挿入し，繰り返し処理の内部に挿入され
   た検査手段は繰り返し処理毎に該要素に対して検査を行
   うものであることを特徴とする実行形式プログラム作成
   方法。
3. 【請求項３】 請求項１もしくは２において，繰り返し
   処理はＤＯループであり，ＤＯループの開始値と終了値
   を含む情報テーブルを作成し，該要素は配列要素であ
   り，繰り返し処理の外に設けられた検査手段は該情報テ
   ーブルの開始値および終了値をそれぞれ配列定義の最小
   値および最大値と比較しＤＯループで処理される配列の
   添字範囲が定義された配列の添字範囲の中に含まれるも
   のであるかないかを検査するものであることを特徴とす
   る実行形式プログラム作成方法。
4. 【請求項４】 請求項１もしくは２において，繰り返し
   処理で使用される要素は代入文の右辺に代入する配列も
   しくは変数，もしくはＷＲＩＴＥ文の出力並びの記述で
   あり，検査手段はその定義範囲もしくは定義の有無を検
   査するものであることを特徴とする実行形式プログラム
   作成方法。 【産業上の利用分野】