JPS62138932A - コンパイラ処理方式 - Google Patents
コンパイラ処理方式Info
- Publication number
- JPS62138932A JPS62138932A JP28012385A JP28012385A JPS62138932A JP S62138932 A JPS62138932 A JP S62138932A JP 28012385 A JP28012385 A JP 28012385A JP 28012385 A JP28012385 A JP 28012385A JP S62138932 A JPS62138932 A JP S62138932A
- Authority
- JP
- Japan
- Prior art keywords
- undefined
- item
- inspection
- intermediate document
- source program
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔概要〕
コンパイラ処理時に中間言票に基づいて未定義項目を判
定し、検査用の中間言票を挿入して未定義項目検査用の
ロードモジュールを作成し、実行時に未定義項目を検出
したときエラー警告を行な〔産業上の利用分野〕 本発明は、データ処理装置におけるＦＯＲＴＲＡＮ等の
高級言語で記述されたソースプログラムのコンパイラ処
理方式に関するものであり、特にソースプログラム中の
未定義項目を検出するプログラムエラー診新技術に関す
る。
定し、検査用の中間言票を挿入して未定義項目検査用の
ロードモジュールを作成し、実行時に未定義項目を検出
したときエラー警告を行な〔産業上の利用分野〕 本発明は、データ処理装置におけるＦＯＲＴＲＡＮ等の
高級言語で記述されたソースプログラムのコンパイラ処
理方式に関するものであり、特にソースプログラム中の
未定義項目を検出するプログラムエラー診新技術に関す
る。
一般に、プログラムが何らかの演算を含んでいる場合、
その演算の各項目はそれぞれプログラム中で定義されて
いることが必要である。演算項目が未定義であれば、そ
の演算を実行することができない。たとえば関数の引数
が変数である場合には、その引数の値が決定していなけ
れば、その関数の演算を実行することはできない。
その演算の各項目はそれぞれプログラム中で定義されて
いることが必要である。演算項目が未定義であれば、そ
の演算を実行することができない。たとえば関数の引数
が変数である場合には、その引数の値が決定していなけ
れば、その関数の演算を実行することはできない。
従来は、ソースプログラムのコンパイラ処理において、
このような未定義項目の検出が行なわれており、未定義
項目がある場合には、実行時にエラー警告の診断メツセ
ージが出力されるようにしているのが普通である。次に
未定義項目を含むプログラムの１例を示す。
このような未定義項目の検出が行なわれており、未定義
項目がある場合には、実行時にエラー警告の診断メツセ
ージが出力されるようにしているのが普通である。次に
未定義項目を含むプログラムの１例を示す。
〔例）ＲＥＡＤ＊、ＩＴＥＭ
１Ｆ （ＩＴＥＭ、ＥＱ、０）ＡＶＡＬ＝１．０ＢＶＡ
Ｌ＝＝ＡＶＡＬ＋２００．０ ・・・・・・・・・
■ＮＤ このときＩ ＴＥＭに入力した数値が０以外ならば、Ａ
ＶＡＬの値は未定義である。未定義のＡＶＡＬを■で使
用するとＢＶＡＬも不定となる。よってＡＶＡＬが未定
義のまま■を実行する場合。
Ｌ＝＝ＡＶＡＬ＋２００．０ ・・・・・・・・・
■ＮＤ このときＩ ＴＥＭに入力した数値が０以外ならば、Ａ
ＶＡＬの値は未定義である。未定義のＡＶＡＬを■で使
用するとＢＶＡＬも不定となる。よってＡＶＡＬが未定
義のまま■を実行する場合。
警告の診断メツセージを出力する。
このため従来は、第６図に示すように、コンパイラ処理
の際、ソースプログラムの解析処理中で未定義項目の探
査を行ない、未定義項目があるとき未定義項目検査用の
中間言葉を含む中間言葉列を出力していた。
の際、ソースプログラムの解析処理中で未定義項目の探
査を行ない、未定義項目があるとき未定義項目検査用の
中間言葉を含む中間言葉列を出力していた。
中間言葉は２項演算形式、すなわち２つの入力オペラン
ドと、その間で行なう演算操作（オペレーション）の種
別と、演算結果のオペランドとを表示する。中間言葉形
式の１例を第７図に示す。
ドと、その間で行なう演算操作（オペレーション）の種
別と、演算結果のオペランドとを表示する。中間言葉形
式の１例を第７図に示す。
第７図において、ＴＣＯＤＥは言葉コードを表わし、０
Ｐ−１，０Ｐ−２，０Ｐ−３はそれぞれ第１．第２．第
３のオペランドを表わす。この形式は、０Ｐ−２，０Ｐ
−３との間にＴＣＯＤＥで示される演算操作を施し、そ
の結果を０Ｐ−３とすることを示している。たとえばソ
ースプログラム″Ａ＝Ｂ−Ｃ″の中間言葉は。
Ｐ−１，０Ｐ−２，０Ｐ−３はそれぞれ第１．第２．第
３のオペランドを表わす。この形式は、０Ｐ−２，０Ｐ
−３との間にＴＣＯＤＥで示される演算操作を施し、そ
の結果を０Ｐ−３とすることを示している。たとえばソ
ースプログラム″Ａ＝Ｂ−Ｃ″の中間言葉は。
ＴＣ’ＯＤＥ ０Ｐ−１０Ｐ−２０Ｐ−３１１ＩＩ
ＩＩ ＩＩとなる。これは、
０Ｐ−１のＡに０Ｐ−２のＢがら０Ｐ−３のＣを減算し
た結果を代入する操作を表わす。
ＩＩ ＩＩとなる。これは、
０Ｐ−１のＡに０Ｐ−２のＢがら０Ｐ−３のＣを減算し
た結果を代入する操作を表わす。
、：、、：で０Ｐ−１）Ｂまたは、０Ｐ−３（７）Ｃが
変数である場合には、未定義項目と判定し、この中間言
葉の前に、実行時に未定義であるが否かを検出するロー
ドモジュールを作成するための未定義項目検査用中間言
葉を挿入する。
変数である場合には、未定義項目と判定し、この中間言
葉の前に、実行時に未定義であるが否かを検出するロー
ドモジュールを作成するための未定義項目検査用中間言
葉を挿入する。
しかし、ＦＯＲＴＲＡＮコンパイラにおいて。
上記のような実行時に未定義である項目を検査できるロ
ードモジュールを作成する場合には、従来その項目がそ
の文で定義されているがあるいは参照されているかをソ
ースのみに依存して識別しており１文の前後関係や種別
等の多くの条件を考慮するため、かなりの困難があった
。
ードモジュールを作成する場合には、従来その項目がそ
の文で定義されているがあるいは参照されているかをソ
ースのみに依存して識別しており１文の前後関係や種別
等の多くの条件を考慮するため、かなりの困難があった
。
たとえば２代入文の右辺は検査すべきであるが。
左辺は検査すべきでないこと、あるいは組込み関数ＬＥ
Ｎを除く組込み関数の実引数は検査すべきであるが、外
部手続きの実引数は検査すべきでないこと、演算のオペ
ランドやＩＦ文の演算式に現われた実体を検査すべきこ
と２等々の多くの条件を考慮しなければならなかった。
Ｎを除く組込み関数の実引数は検査すべきであるが、外
部手続きの実引数は検査すべきでないこと、演算のオペ
ランドやＩＦ文の演算式に現われた実体を検査すべきこ
と２等々の多くの条件を考慮しなければならなかった。
第８図に、前２記したプログラム例について、このよう
なソースプログラム解析処理を行なった結果を示す。
なソースプログラム解析処理を行なった結果を示す。
従来のコンパイラ処理では、未定義項目の識別をすべて
ソースプログラムに依存して行なっているため、複雑な
処理を伴い１重複または欠落を生じる可能性が高く、論
理性、信頬性に欠け、バグを包含する可能性があった。
ソースプログラムに依存して行なっているため、複雑な
処理を伴い１重複または欠落を生じる可能性が高く、論
理性、信頬性に欠け、バグを包含する可能性があった。
本発明は、コンパイラ処理時の未定義項目検査を、ソー
スプログラムに直接依存して行なうのではな（、ソース
プログラム解析により生成された中間言葉に依存して行
なうことにより、未定義項目の検査を容易確実にしたも
のである。すなわち１巾間言票では、演算の種別ごとに
オペランドが対応づけられているため、検査が必要なオ
ペランドの選択が容易である点を利用するものである。
スプログラムに直接依存して行なうのではな（、ソース
プログラム解析により生成された中間言葉に依存して行
なうことにより、未定義項目の検査を容易確実にしたも
のである。すなわち１巾間言票では、演算の種別ごとに
オペランドが対応づけられているため、検査が必要なオ
ペランドの選択が容易である点を利用するものである。
第１図に１本発明の原理的構成を示す。
図において、１０はデータ処理装置、１１はソースプロ
グラムファイル、１２はコンパイラ処理部、１３は第１
中間言票ファイル、１４は第２中間言票ファイル、１５
はオブジェクトファイル。
グラムファイル、１２はコンパイラ処理部、１３は第１
中間言票ファイル、１４は第２中間言票ファイル、１５
はオブジェクトファイル。
１２１はソースプログラム解析部、１２２は検査項目テ
ーブル、１２３は未定義項目検査部、１２４はコード生
成部である。
ーブル、１２３は未定義項目検査部、１２４はコード生
成部である。
ソースプログラムファイルＩＩからソースプログラムが
コンパイラ処理部に読み込まれると、そのソースプログ
ラム解析部１２１において字句解析、構文解析を行ない
、記号表等の制御表を作成するとともに、中間言葉列を
生成し、第１中間言票ファイル１３に格納する。この段
階では未定義項目の探査は行なわず、したがって、未定
義項目検査用の中間言葉の挿入も行なわれない。
コンパイラ処理部に読み込まれると、そのソースプログ
ラム解析部１２１において字句解析、構文解析を行ない
、記号表等の制御表を作成するとともに、中間言葉列を
生成し、第１中間言票ファイル１３に格納する。この段
階では未定義項目の探査は行なわず、したがって、未定
義項目検査用の中間言葉の挿入も行なわれない。
中間言葉は５演算操作（オペレーション）の種別を表わ
す言葉コードＴＣＯＤＥと演算項目のオペランド０Ｐ−
１，０Ｐ−２，０Ｐ−３で構成される。
す言葉コードＴＣＯＤＥと演算項目のオペランド０Ｐ−
１，０Ｐ−２，０Ｐ−３で構成される。
検査項目テーブル１２２は、中間言葉の言葉コードＴＣ
ＯＤＥの種別ごとに未定義項目の検査の要／不要を示し
たテーブルであり、一種の辞書的機能を果す。
ＯＤＥの種別ごとに未定義項目の検査の要／不要を示し
たテーブルであり、一種の辞書的機能を果す。
第２図は、検査項目テーブル１２２の構成例を示したも
のであり、言葉コードＴＣＯＤＥごとに。
のであり、言葉コードＴＣＯＤＥごとに。
第２オペランド０Ｐ−２と第３オペランドｏＰ−３とが
それぞれ未定義検査対象となるか否かを○。
それぞれ未定義検査対象となるか否かを○。
×で表わしている。ここで、第１オペランドｏＰ−１が
示されていないのは、第１オペランド０Ｐ−１が演算結
果のオペランドであって、未定義にはなりえないからで
ある。
示されていないのは、第１オペランド０Ｐ−１が演算結
果のオペランドであって、未定義にはなりえないからで
ある。
未定義項目検査部１２３は、第１中間言票ファイル１３
から中間言葉列を読み出し２個々の中間言葉ごとに検査
項目テーブル１２２を参照し、未定義項目の検査が必要
な項目（オペランド）を摘出し、それについて定義の有
無を検査する。
から中間言葉列を読み出し２個々の中間言葉ごとに検査
項目テーブル１２２を参照し、未定義項目の検査が必要
な項目（オペランド）を摘出し、それについて定義の有
無を検査する。
未定義項目検査部１２３は、検査の結果、未定義である
ことが識別された場合、その中間言葉の直前に、実行時
における未定義項目検査用の中間言葉を挿入して、第２
巾間言票ファイル１４に出力する。
ことが識別された場合、その中間言葉の直前に、実行時
における未定義項目検査用の中間言葉を挿入して、第２
巾間言票ファイル１４に出力する。
このようにして、第１中間言票ファイル１３に格納され
ている中間言葉列の全てについて未定義項目検査が行な
われ５未定義項目を含む各中間言葉の直前に未定義項目
検査用の中間言葉を含む中間言葉列が第２中間言票ファ
イル１４に格納される。
ている中間言葉列の全てについて未定義項目検査が行な
われ５未定義項目を含む各中間言葉の直前に未定義項目
検査用の中間言葉を含む中間言葉列が第２中間言票ファ
イル１４に格納される。
次にコード生成部１２４は、第２中間言票ファイルＩ４
の中間言葉列に基づいてコードを生成し。
の中間言葉列に基づいてコードを生成し。
各種のテーブルとともに、オブジェクトをオブジェクト
ファイル１５に出力する。
ファイル１５に出力する。
本発明においでは、中間言葉に基づいて未定義検査対象
の項目（オペランド）を選択しているため、検査対象項
目を確実にかつ効率的に絞ることができ、無駄な重複や
検査や欠落が生じる可能性を小さくすることができる。
の項目（オペランド）を選択しているため、検査対象項
目を確実にかつ効率的に絞ることができ、無駄な重複や
検査や欠落が生じる可能性を小さくすることができる。
なお未定義検査の対象が文字型の変数、配列要素又は部
分列であるときには、ソース解析後では検査に必要な情
報が得られないため、″上記の方法を適用することがで
きない。そこでこの場合は。
分列であるときには、ソース解析後では検査に必要な情
報が得られないため、″上記の方法を適用することがで
きない。そこでこの場合は。
ソースの解析中に、値を渡す特定の中間言葉を出力する
時、その実体を未定義検査の対象とする。
時、その実体を未定義検査の対象とする。
これは、特定の中間言葉が出力されるかどうかだけに依
存し、ソースには依存しない。
存し、ソースには依存しない。
第３図は、前述したプログラム例
ＲＥＡＤ＊、ＩＴＥＭ
ＩＦ （ＩＴＥＭ、ＥＱ、Ｏ’）ＡＶＡＬ＝１．０ＢＶ
ＡＬ＝ＡＶＡＬ＋２００．０ −−−−−−−−−
■ＮＤ に本発明を適用したときの実施例を示す。なお図中に示
されている参照番号は、第１図におけるものがそのまま
使用されている。
ＡＬ＝ＡＶＡＬ＋２００．０ −−−−−−−−−
■ＮＤ に本発明を適用したときの実施例を示す。なお図中に示
されている参照番号は、第１図におけるものがそのまま
使用されている。
コンパイラ処理部１２のソースプログラム解析部１２１
は、ソースプログラム中の演算式■ＢＶＡＬ＝ＡＶＡＬ
＋２００．０ をｊ１￥折し、加算（ＴＣＯＤＥ＝ＡＤＤ）の中間言誤
を出力する。
は、ソースプログラム中の演算式■ＢＶＡＬ＝ＡＶＡＬ
＋２００．０ をｊ１￥折し、加算（ＴＣＯＤＥ＝ＡＤＤ）の中間言誤
を出力する。
この結果、第１中間言票ファイル１３には。
ＴＣＯＤＥ ０Ｐ−１０Ｐ−２０Ｐ−３１１ＩＩ
ＩＩ ＩＩＡ Ｄ Ｄ Ｂ Ｖ Ａ
Ｌ Ａ Ｖ Ａ Ｌ ２００．０が格納される
。
ＩＩ ＩＩＡ Ｄ Ｄ Ｂ Ｖ Ａ
Ｌ Ａ Ｖ Ａ Ｌ ２００．０が格納される
。
次に、未定義項目検査部１２３は、第１中間言票ファイ
ル１３から上記の中間言誤を読み出して。
ル１３から上記の中間言誤を読み出して。
言葉コードＴＣＯＤＥ＝ＡＤＤを識別し、これを用いて
検査項目テーブル１２２を参照して、 ＴＣＯＤＥ＝Ａ
ＤＤのエントリの情報から、第２および第３のオペラン
ド０Ｐ−２，０Ｐ−３が検査対象項目であることを知る
。しかし、この場合０Ｐ−３は定数（＝２００．０）で
あり、明らかに値が決定しているので、変数である０Ｐ
−２を未定義項目と判定し、未定義項目検査用の中間言
誤を挿入する。この場合、未定義項目検査用の中間言誤
の言葉コードＴＣＯＤＥは、ＵＮＤＥＦ （未定義）で
ある。
検査項目テーブル１２２を参照して、 ＴＣＯＤＥ＝Ａ
ＤＤのエントリの情報から、第２および第３のオペラン
ド０Ｐ−２，０Ｐ−３が検査対象項目であることを知る
。しかし、この場合０Ｐ−３は定数（＝２００．０）で
あり、明らかに値が決定しているので、変数である０Ｐ
−２を未定義項目と判定し、未定義項目検査用の中間言
誤を挿入する。この場合、未定義項目検査用の中間言誤
の言葉コードＴＣＯＤＥは、ＵＮＤＥＦ （未定義）で
ある。
このようにして、未定義項目検査部１２３からは、第２
中間言票ファイル１４内に図示されている１対の中間言
誤が出力される。
中間言票ファイル１４内に図示されている１対の中間言
誤が出力される。
ところで、未定義項目が配列１部分列または文字型変数
の場合には、必要な情報がソースプログラムの解析中で
ないと得られないため、この段階で２次のように未定義
項目検査用の中間言誤を出力する。
の場合には、必要な情報がソースプログラムの解析中で
ないと得られないため、この段階で２次のように未定義
項目検査用の中間言誤を出力する。
■ 未定義項目が配列要素の場合には、配列要素の値を
引用する中間言誤と、アドレスを引用する中間言誤とが
あるので、ソース解析中、配列要素の値を引用する中間
言誤を出力するとき。
引用する中間言誤と、アドレスを引用する中間言誤とが
あるので、ソース解析中、配列要素の値を引用する中間
言誤を出力するとき。
同時に未定義項目検査用言票コードをもつ中間言誤を出
力する。
力する。
■ 未定義項目が部分列１文字変数の場合には。
文字部分列の値を引用する中間言誤と２アドレスを引用
する中間言誤があるので、ソース解析中１文字部分列の
値を引用する中間言誤を出力するとき、未定義項目検査
用の中間言誤を出力する。
する中間言誤があるので、ソース解析中１文字部分列の
値を引用する中間言誤を出力するとき、未定義項目検査
用の中間言誤を出力する。
第４図は５以上の処理を行なうためにソースプログラム
解析部を変形した実施例を示す。
解析部を変形した実施例を示す。
第５図の（ａｌは１次のプログラム例
ＲＥＡＬ ＡＲＹ （５）
ＲＥＡＤ ＊、 ＩＴＥＭ
Ｉ Ｆ （ＩＴＥＭ、ＥＱ、０）ＡＲＹ（３）＝１．０
ＢＢＢ＝ＡＲＹ（３）＋２００．０ ＮＤ について第４図のソースプログラム解析部により解析を
行なった結果を示す。また第５図の（ｂ）は。
ＢＢＢ＝ＡＲＹ（３）＋２００．０ ＮＤ について第４図のソースプログラム解析部により解析を
行なった結果を示す。また第５図の（ｂ）は。
本実施例と対照させるために、従来方式のソースに依存
して未定義項目検査用の中間言誤を出力する処理を行な
った場合の結果を示す。
して未定義項目検査用の中間言誤を出力する処理を行な
った場合の結果を示す。
本発明によれば、ＦＯＲＴＲＡＮコンパイラ等の処理に
おいて、未定義項目検査用の中間言誤挿入を適確に行な
うことができるため２重複や欠落のない効率的な診断処
理を可能にする。
おいて、未定義項目検査用の中間言誤挿入を適確に行な
うことができるため２重複や欠落のない効率的な診断処
理を可能にする。
第１図は本発明の原理的構成を示す概念図、第２図は検
査項目テーブルの説明図、第３図は本発明の１実施例の
構成図、第４図は第３図におけるソースプログラム解析
部の実施例構成図、第５図の（ａｌおよび（ｂ）はそれ
ぞれ本発明と従来例とにおけるソースプログラム解析部
の処理例を示す説明図。 第６図は未定義項目検査用中間言誤出力処理の説明図、
第７図は中間言誤形式の説明図、第８図は従来のソース
プログラム解析処理例の説明図である。 第１図中 １０：データ処理装置 １１：ソースプログラムファイル ｌ２：コンパイラ処理部 １２１：ソースプログラム解析部 １２２：検査項目テーブル １２３：未定義項目検査部 １２４：コード生成部 特許出願人 富士通株式会社 代理人弁理士 長谷用 文 廣（外１名）９明り厘理
的構へ゛ 第 １１！１ 第 ２ 図 ソースフ１０７゛クヘ解打含νの実１壱Ｒｉｍ第 ４
図 ソースフ゛ロク”うＡ鼾）昨豐）のＭ埋イ）づ （（ａ
）ネイτａ％、ｌｂ）ネ（東イ）づン第 ５
図
査項目テーブルの説明図、第３図は本発明の１実施例の
構成図、第４図は第３図におけるソースプログラム解析
部の実施例構成図、第５図の（ａｌおよび（ｂ）はそれ
ぞれ本発明と従来例とにおけるソースプログラム解析部
の処理例を示す説明図。 第６図は未定義項目検査用中間言誤出力処理の説明図、
第７図は中間言誤形式の説明図、第８図は従来のソース
プログラム解析処理例の説明図である。 第１図中 １０：データ処理装置 １１：ソースプログラムファイル ｌ２：コンパイラ処理部 １２１：ソースプログラム解析部 １２２：検査項目テーブル １２３：未定義項目検査部 １２４：コード生成部 特許出願人 富士通株式会社 代理人弁理士 長谷用 文 廣（外１名）９明り厘理
的構へ゛ 第 １１！１ 第 ２ 図 ソースフ１０７゛クヘ解打含νの実１壱Ｒｉｍ第 ４
図 ソースフ゛ロク”うＡ鼾）昨豐）のＭ埋イ）づ （（ａ
）ネイτａ％、ｌｂ）ネ（東イ）づン第 ５
図
Claims (1)
- 【特許請求の範囲】 コンパイラ処理を行なうデータ処理装置において、ソー
スプログラムを解析し、演算操作種別とその演算項目と
からなる中間言票を作成するソースプログラム解析部（
１２１）と、 中間言票の演算操作種別ごとに、その演算項目が未定義
項目の検査を要するか否かを表わす情報が登録された検
査項目テーブル（１２２）と、ソースプログラム解析部
（１２１）が作成した中間言票ごとにその演算操作種別
により検査項目テーブル（１２２）を参照し、未定義検
査を要する演算項目を選択して、それについて定義の有
無を調べ、未定義であれば当該中間言票の前に、実行時
に未定義項目検査を行なう中間言票を挿入する未定義項
目検査部（１２３）とをそなえ、未定義項目検査部（１
２３）から出力された中間言票列に基づいてオブジェク
トを生成することを特徴とするコンパイラ処理方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP28012385A JPS62138932A (ja) | 1985-12-12 | 1985-12-12 | コンパイラ処理方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP28012385A JPS62138932A (ja) | 1985-12-12 | 1985-12-12 | コンパイラ処理方式 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPS62138932A true JPS62138932A (ja) | 1987-06-22 |
| JPH046019B2 JPH046019B2 (ja) | 1992-02-04 |
Family
ID=17620653
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP28012385A Granted JPS62138932A (ja) | 1985-12-12 | 1985-12-12 | コンパイラ処理方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPS62138932A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH03105628A (ja) * | 1989-09-20 | 1991-05-02 | Fujitsu Ltd | 未定義変数引用検査処理方法 |
-
1985
- 1985-12-12 JP JP28012385A patent/JPS62138932A/ja active Granted
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH03105628A (ja) * | 1989-09-20 | 1991-05-02 | Fujitsu Ltd | 未定義変数引用検査処理方法 |
Also Published As
| Publication number | Publication date |
|---|---|
| JPH046019B2 (ja) | 1992-02-04 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Lämmel et al. | Semi‐automatic grammar recovery | |
| US8539475B2 (en) | API backward compatibility checking | |
| US9043759B1 (en) | System and method for generating software unit tests simultaneously with API documentation | |
| US9280442B1 (en) | System and method for generating coverage reports for software unit tests | |
| KR20200071413A (ko) | 학습용 데이터 생성 장치, 소스 코드 오류 분석 장치 및 방법 | |
| JPS62138932A (ja) | コンパイラ処理方式 | |
| Harrison et al. | Fine control of demand in Haskell | |
| Bülow | Proof visualization for the lean 4 theorem prover | |
| MacLennan | The Synmac syntax macroprocessor: Introduction and manual, version 5 | |
| GB2509540A (en) | Enterprise decision management | |
| JPS59231649A (ja) | コンパイルリスト出力処理方式 | |
| JPH08272623A (ja) | プログラム解析装置及びプログラム解析方法 | |
| EP0526054A2 (en) | Monitoring execution of a computer program to provide test coverage analysis | |
| JPH1031584A (ja) | ソフトウエアの検証自動化装置 | |
| JP2728504B2 (ja) | 入力命令文検査装置 | |
| JPH01177165A (ja) | 配列の定義／引用関係検査方式 | |
| Covington | Some coding guidelines for Prolog | |
| Baratta-Perez et al. | Ada system dependency analyzer tool | |
| GB2258063A (en) | Monitoring execution of a computer program to provide profile analysis | |
| JP3167386B2 (ja) | プログラム自動並列化方法 | |
| Chisolm et al. | The use of computer language compilers in legacy code migration | |
| JP2005141406A (ja) | コンパイラ検査システムおよび同プログラム | |
| JPH03290740A (ja) | テストデータ自動生成システム | |
| CN111984243A (zh) | 一种基于注解的通用安全检查及功能扩展方法及装置 | |
| JPS6170641A (ja) | テストプログラム自動生成方法 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| LAPS | Cancellation because of no payment of annual fees |