JPS63146129A - 部分パスリスト生成器 - Google Patents
部分パスリスト生成器Info
- Publication number
- JPS63146129A JPS63146129A JP29382986A JP29382986A JPS63146129A JP S63146129 A JPS63146129 A JP S63146129A JP 29382986 A JP29382986 A JP 29382986A JP 29382986 A JP29382986 A JP 29382986A JP S63146129 A JPS63146129 A JP S63146129A
- Authority
- JP
- Japan
- Prior art keywords
- node
- edges
- flow
- partial flow
- partial
- 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.)
- Pending
Links
- 238000000034 method Methods 0.000 description 18
- 238000010586 diagram Methods 0.000 description 4
- 238000005206 flow analysis Methods 0.000 description 3
- 238000004590 computer program Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 230000010365 information processing Effects 0.000 description 1
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明は、情報処理装置におけるコンピュータプログラ
ム開発支援に使用される部分パスリス１生成器に関する
ものである。
ム開発支援に使用される部分パスリス１生成器に関する
ものである。
従来、プログラムの最適化が行なわれており、その具体
的な処理を行なうなめには、プログラムをある単位に分
割し、分割された各部分の相互関係を明確にしておく必
要がある。そのためにプログラムを分析するに当り、処
理しやすい形にする必要がある。その中に、例えば、プ
ログラムの制御の流れを表わすフローグラフがある。そ
してフローグラフは、制御の分岐点１合流点をノード、
制御の流れをエツジとして方向を示している。また、ノ
ードの先後関係にあるものをパスとして表わしている。
的な処理を行なうなめには、プログラムをある単位に分
割し、分割された各部分の相互関係を明確にしておく必
要がある。そのためにプログラムを分析するに当り、処
理しやすい形にする必要がある。その中に、例えば、プ
ログラムの制御の流れを表わすフローグラフがある。そ
してフローグラフは、制御の分岐点１合流点をノード、
制御の流れをエツジとして方向を示している。また、ノ
ードの先後関係にあるものをパスとして表わしている。
このように表わされたフローグラフについて、そのパス
をリス１−状にして生成が行なわれている。
をリス１−状にして生成が行なわれている。
し発明が解決しようとする問題点〕
上述した従来のパスリスト生成器では、フローグラフ間
エツジを生成しないか、あるいは生成してもそれを辿っ
て部分バスリストを出力しなかった。したがってフロー
グラフ間エツジに対応するバスリストでは、外部への飛
出しである旨出力するか、あるいは飛出し先の行番号を
出力するか、飛出し先のノード番号を出力するかの処理
を行う。
エツジを生成しないか、あるいは生成してもそれを辿っ
て部分バスリストを出力しなかった。したがってフロー
グラフ間エツジに対応するバスリストでは、外部への飛
出しである旨出力するか、あるいは飛出し先の行番号を
出力するか、飛出し先のノード番号を出力するかの処理
を行う。
このため飛出し先のパスのつづきを出力させるためには
、全パスリストを出力し対応するノード番号あるいは行
番号を捜すか、または飛出し先のノード番号あるいは行
番号を指定して再び部分バスリストを出力しなければな
らないという欠点があった。さらにこの欠点のため任意
のノードを起点とする部分バスリストを出力する機能を
備えていないという欠点があった。
、全パスリストを出力し対応するノード番号あるいは行
番号を捜すか、または飛出し先のノード番号あるいは行
番号を指定して再び部分バスリストを出力しなければな
らないという欠点があった。さらにこの欠点のため任意
のノードを起点とする部分バスリストを出力する機能を
備えていないという欠点があった。
本発明の部分バスリスト生成器は、入力装置から入力さ
れたソースプログラムを解析し、記憶装置内にノードお
よびエツジより成る部分フローグラフの集まり、および
、前記部分フローグラフのフローグラフ間エツジの集ま
りを生成するフロー解析器と、前記入力装置から入力さ
れ記憶装置に記録された指定ノートを起点として前記フ
ロー解析器が生成した前記部分フローグラフの集まり。
れたソースプログラムを解析し、記憶装置内にノードお
よびエツジより成る部分フローグラフの集まり、および
、前記部分フローグラフのフローグラフ間エツジの集ま
りを生成するフロー解析器と、前記入力装置から入力さ
れ記憶装置に記録された指定ノートを起点として前記フ
ロー解析器が生成した前記部分フローグラフの集まり。
および、前記フローグラフ間エツジの集まりを辿りパス
リストを生成し出力装置に出力する出力器とを含む。
リストを生成し出力装置に出力する出力器とを含む。
次に、本発明について図面を参照して説明する。
第１図は本発明の一実施例を示すブロック図であり、指
定ノードと解析されるソースプログラムを入力する入力
装置１と、この入力装置１により入力されたソースプロ
グラムを解析し部分フローグラフの集まり４２とフロー
グラフ間エツジの集まり４３を生成するフロー解析２；
２と、入力装置１により入力された指定ノード４１と部
分フローグラフの集まり４２とフローグラフ間エツジの
集まり４３を記録する記憶装置４と、記憶装置４に記録
された指定ノード４１と部分フローグラフの集まり４２
とフローグラフ間エツジの集まり４３を参照してバスを
生成し出力装置５に出力するパス出力器３が示されてい
る。今ソースプログラムが入力装置１に人力されると、
そのソースプログラムはフロー解析器２にわたされる。
定ノードと解析されるソースプログラムを入力する入力
装置１と、この入力装置１により入力されたソースプロ
グラムを解析し部分フローグラフの集まり４２とフロー
グラフ間エツジの集まり４３を生成するフロー解析２；
２と、入力装置１により入力された指定ノード４１と部
分フローグラフの集まり４２とフローグラフ間エツジの
集まり４３を記録する記憶装置４と、記憶装置４に記録
された指定ノード４１と部分フローグラフの集まり４２
とフローグラフ間エツジの集まり４３を参照してバスを
生成し出力装置５に出力するパス出力器３が示されてい
る。今ソースプログラムが入力装置１に人力されると、
そのソースプログラムはフロー解析器２にわたされる。
フロー解析器２はそのソースプログラムを解析し、制御
の分岐点および合流点に対してノードを生成し、そのノ
ード間にエツジを生成し、手続きおよびブロックを一つ
のフローグラフ、すなわち、部分フローグラフとして入
力し、例えば、ｒｅｔｕｒｎ文１ｇｏｔｏ文、ｅｘｉｔ
文等の飛出し文によってフローグラフ間エツジを生成す
る。
の分岐点および合流点に対してノードを生成し、そのノ
ード間にエツジを生成し、手続きおよびブロックを一つ
のフローグラフ、すなわち、部分フローグラフとして入
力し、例えば、ｒｅｔｕｒｎ文１ｇｏｔｏ文、ｅｘｉｔ
文等の飛出し文によってフローグラフ間エツジを生成す
る。
第２図にはあるプログラムがフロー解析器２で解析され
記憶装置４に記録されたノード１−１゜１−２．１−３
．１−４．１−５、エツジ１−１１．１−１２．１−１
３．１−１４．１−１５を持つ部分フローグラフ４２−
１およびノード２−１．２−２．２−３．２−４．２−
５、エツジ２−Ｌ Ｌ、２−１２．２−１３．２−１４
．２−１５を持つ部分フローグラフ４２−２とによる部
分フローグラフの集まりと、フローグラフ間エツジ４３
−１をフローグラフ間エツジ（この場合一つ）の集まり
とし、互いの関係を例示した概念図である。第２図にお
いてはノードを円でエツジを矢印で表わしている。また
第２図では、入力装置１から入力された指定ノード４１
が部分フローグラフ４２−１内のノード２−２を指して
いる。次にパス出力器３は、指定ノード４１から最初に
ノード１−２を得る。そしてノード１−２からエツジ１
−１２を辿りノード１−３を°得る。そしてノード１−
３からエツジ１−１３を辿りノード１−４を得る。ノー
ド１−４を起点とするエツジは存在しないので、パス出
力器３は、指定ノード４１からノード１−４にいたるバ
スを出力装置５に出力する。次にパス出力器３はバック
トラックし、選択可能なのこりのエツジを持っているノ
ード１−３から新しいエツジ４３−１を辿り、上記と同
様にしてエツジの起点となっていないノードに行きつく
か、あるいは今までに辿ったノートに再び行きつくかす
るまでエツジを辿りそのバスを出力する。
記憶装置４に記録されたノード１−１゜１−２．１−３
．１−４．１−５、エツジ１−１１．１−１２．１−１
３．１−１４．１−１５を持つ部分フローグラフ４２−
１およびノード２−１．２−２．２−３．２−４．２−
５、エツジ２−Ｌ Ｌ、２−１２．２−１３．２−１４
．２−１５を持つ部分フローグラフ４２−２とによる部
分フローグラフの集まりと、フローグラフ間エツジ４３
−１をフローグラフ間エツジ（この場合一つ）の集まり
とし、互いの関係を例示した概念図である。第２図にお
いてはノードを円でエツジを矢印で表わしている。また
第２図では、入力装置１から入力された指定ノード４１
が部分フローグラフ４２−１内のノード２−２を指して
いる。次にパス出力器３は、指定ノード４１から最初に
ノード１−２を得る。そしてノード１−２からエツジ１
−１２を辿りノード１−３を°得る。そしてノード１−
３からエツジ１−１３を辿りノード１−４を得る。ノー
ド１−４を起点とするエツジは存在しないので、パス出
力器３は、指定ノード４１からノード１−４にいたるバ
スを出力装置５に出力する。次にパス出力器３はバック
トラックし、選択可能なのこりのエツジを持っているノ
ード１−３から新しいエツジ４３−１を辿り、上記と同
様にしてエツジの起点となっていないノードに行きつく
か、あるいは今までに辿ったノートに再び行きつくかす
るまでエツジを辿りそのバスを出力する。
そして選択可能なエツジがなくなるまで、以上の処理を
くりかえす。この様に部分フローグラフ間エツジ４３−
１を、エツジ１−１３と同等に扱うことによって、部分
フローグラフ間にまたがるパスを出力できる。
くりかえす。この様に部分フローグラフ間エツジ４３−
１を、エツジ１−１３と同等に扱うことによって、部分
フローグラフ間にまたがるパスを出力できる。
フロー解析器２の動作について説明する。第３図〜第９
図はフロー解析器２の具体的な処理フローの一例を示す
フローチャートである。入力装置１よりプログラムソー
スを受け（１００）、ソースが終了であるかチェックし
く１０１）、終了であれば終了される（ １０８）。ソ
ースがあれば、開始点であるかチェック（１０２）Ｌ、
開始点であれば開始点処理（２００、第４図）を行なう
。
図はフロー解析器２の具体的な処理フローの一例を示す
フローチャートである。入力装置１よりプログラムソー
スを受け（１００）、ソースが終了であるかチェックし
く１０１）、終了であれば終了される（ １０８）。ソ
ースがあれば、開始点であるかチェック（１０２）Ｌ、
開始点であれば開始点処理（２００、第４図）を行なう
。
開始点でなければ、終了点であるかチェック（１０３）
し、終了点であれば終了点処理（３００、第５図）を行
なう。終了点でなければ、分岐点であるかチェック（１
０４）Ｌ、分岐点であれば分岐点処理（４００、第６図
）を行なう。分岐点でなければ、合流点であるかチェッ
ク（１０５）Ｌ、合流点であれば合流点処理（５００、
第７図）を行なう。合流点でなければ、ブロック開始点
であるかチェック（１０６）Ｌ、ブロック開始点であれ
ばブロック開始処理（６００、第８図）を行なう。ブロ
ック開始点でなければ、ブロック終了点であるかチェッ
ク（１０７）Ｌ、ブロック終了点であればブロック終了
処理（７００、第９図）を行なう。終了点でなければ処
理１００へ戻る。
し、終了点であれば終了点処理（３００、第５図）を行
なう。終了点でなければ、分岐点であるかチェック（１
０４）Ｌ、分岐点であれば分岐点処理（４００、第６図
）を行なう。分岐点でなければ、合流点であるかチェッ
ク（１０５）Ｌ、合流点であれば合流点処理（５００、
第７図）を行なう。合流点でなければ、ブロック開始点
であるかチェック（１０６）Ｌ、ブロック開始点であれ
ばブロック開始処理（６００、第８図）を行なう。ブロ
ック開始点でなければ、ブロック終了点であるかチェッ
ク（１０７）Ｌ、ブロック終了点であればブロック終了
処理（７００、第９図）を行なう。終了点でなければ処
理１００へ戻る。
次に、開始点処理（２００）について第４図を用いて説
明する。なお、各処理（第４図〜第９図）において、ノ
ードＸとは、各処理において生成された新たなノードに
付けられるもので、各処理によってそれぞれ付けられる
ものとする。入力されたプログラムソースが開始点であ
るとき、ノードＸを生成しく２０１＞、生成したノード
Ｘを最新ノードとしく２０２＞、ノードＸをブロックノ
ードとして記憶装置４へ登録しく２０３）開始点処理を
終了する。
明する。なお、各処理（第４図〜第９図）において、ノ
ードＸとは、各処理において生成された新たなノードに
付けられるもので、各処理によってそれぞれ付けられる
ものとする。入力されたプログラムソースが開始点であ
るとき、ノードＸを生成しく２０１＞、生成したノード
Ｘを最新ノードとしく２０２＞、ノードＸをブロックノ
ードとして記憶装置４へ登録しく２０３）開始点処理を
終了する。
次に、終了点処理（３００）について第５図を用いて説
明する。プログラムソースが終了点であるとき、ノード
Ｘを生成しく３０１）、最新ノードから生成したノード
Ｘへのエツジを生成しく３０２）、ノードＸを最新ノー
ドとしく３０３）、終了点処理を終了する。
明する。プログラムソースが終了点であるとき、ノード
Ｘを生成しく３０１）、最新ノードから生成したノード
Ｘへのエツジを生成しく３０２）、ノードＸを最新ノー
ドとしく３０３）、終了点処理を終了する。
次に、分岐点処理（４００＞について第６図を用いて説
明する。プログラムソースが分岐点であるとき、ノード
Ｘを生成しく４０１）、最新ノートから生成したノード
Ｘヘエッジを生成し、ノードＸを最新ノードとする（４
０２）。次に分岐先ノードがすでにあるかチェック（４
０３）Ｌ、分岐先ノードがなければ分岐先ノードを生成
する（４０４）、分岐先ノードがすでにあるか、または
、処理４０４で生成されると、分岐先ノードが別フロー
グラフ内にあるかチェック（４０４）Ｌ、別フローグラ
フにあれば最新ノードから分岐先ノードへフローグラフ
間エツジを生成（４０６）Ｌ、処理は分岐先の有無のチ
ェック（４０９）へ移る。
明する。プログラムソースが分岐点であるとき、ノード
Ｘを生成しく４０１）、最新ノートから生成したノード
Ｘヘエッジを生成し、ノードＸを最新ノードとする（４
０２）。次に分岐先ノードがすでにあるかチェック（４
０３）Ｌ、分岐先ノードがなければ分岐先ノードを生成
する（４０４）、分岐先ノードがすでにあるか、または
、処理４０４で生成されると、分岐先ノードが別フロー
グラフ内にあるかチェック（４０４）Ｌ、別フローグラ
フにあれば最新ノードから分岐先ノードへフローグラフ
間エツジを生成（４０６）Ｌ、処理は分岐先の有無のチ
ェック（４０９）へ移る。
分岐先ノードが別フローグラフになければ、分岐先ノー
ドを生成（４０７）Ｌ、最新ノードから分岐先ノードへ
エツジを生成（４０８）する。次に処理すべき分岐点が
なくなったか否かチェ・ツク（４０９）Ｌ、処理すべき
分岐点がなければ、新たに分岐先ノードを生成したかチ
ェック（４１０）し、新たに分岐先ノートを生成したな
らば分岐先ノードのうちの１つを最新ノードとしく４１
１ ）終了する。新たな分岐先ノードを生成していな÷
れば終了する。チェック（４０９＞結果、処理すべき分
岐点がまだあるときは処理４０３へ戻る。
ドを生成（４０７）Ｌ、最新ノードから分岐先ノードへ
エツジを生成（４０８）する。次に処理すべき分岐点が
なくなったか否かチェ・ツク（４０９）Ｌ、処理すべき
分岐点がなければ、新たに分岐先ノードを生成したかチ
ェック（４１０）し、新たに分岐先ノートを生成したな
らば分岐先ノードのうちの１つを最新ノードとしく４１
１ ）終了する。新たな分岐先ノードを生成していな÷
れば終了する。チェック（４０９＞結果、処理すべき分
岐点がまだあるときは処理４０３へ戻る。
次に、合流点処理（５００）について第７図を用いて説
明する。プログラムソースが合流点であれば、ノードＸ
を生成（５０１）Ｌ、最新ノードから生成したノードＸ
へのエツジを生成（５０２＞し、ノードＸを最新ノード
として（５０３）終了する。
明する。プログラムソースが合流点であれば、ノードＸ
を生成（５０１）Ｌ、最新ノードから生成したノードＸ
へのエツジを生成（５０２＞し、ノードＸを最新ノード
として（５０３）終了する。
次にブロック開始処理（６００）について第８図を用い
て説明する。プログラムソースがブロック開始点であれ
ば、ノードＸを生成（６０１）Ｌ、最新ノードから生成
したノードＸヘエッジを生成（６０２）Ｌ、ノードＸを
最新ノードとする（６０３）。次にブロック終了ノード
を生成（６０４）し、最新ノードから生成したブロック
終了ノードへエツジを生成（６０５）Ｌ、ブロック終了
ノードを最新ノードとする（ ６０６ ）。次に最新ノ
ードをスタックにブツシュしく６０７）８次のノードＸ
を生成する（６０８）。６０８で生成したノードＸをブ
ロックノードとして登録（６０９）Ｌ、ノードＸを最新
ノードとして（６１０）終了する。
て説明する。プログラムソースがブロック開始点であれ
ば、ノードＸを生成（６０１）Ｌ、最新ノードから生成
したノードＸヘエッジを生成（６０２）Ｌ、ノードＸを
最新ノードとする（６０３）。次にブロック終了ノード
を生成（６０４）し、最新ノードから生成したブロック
終了ノードへエツジを生成（６０５）Ｌ、ブロック終了
ノードを最新ノードとする（ ６０６ ）。次に最新ノ
ードをスタックにブツシュしく６０７）８次のノードＸ
を生成する（６０８）。６０８で生成したノードＸをブ
ロックノードとして登録（６０９）Ｌ、ノードＸを最新
ノードとして（６１０）終了する。
次にブロック終了処理（７００）について第９図を用い
て説明する。プログラムソースがブロック終了点であれ
ば、ノードＸを生成（７０１）Ｌ、最新ノードから生成
したノードＸへのエツジを生成（７０２）Ｌ、スタック
をポツプし最新ノードを取り出しく７０３）処理を終了
する。
て説明する。プログラムソースがブロック終了点であれ
ば、ノードＸを生成（７０１）Ｌ、最新ノードから生成
したノードＸへのエツジを生成（７０２）Ｌ、スタック
をポツプし最新ノードを取り出しく７０３）処理を終了
する。
以上説明したように本発明は、ソースプログラムを解析
し部分フローグラフの集まりとフローグラフ間エツジの
集まりを生成し、指定ノードがらエツジおよびフローグ
ラフ間エツジを辿りパスリストを生成することにより、
部分フローグラフ内の指定された任意のノードから部分
フローグラフ間にまたがるパスを含めて出力でき、必要
なパス情報が１度に出力できるという効果がある。
し部分フローグラフの集まりとフローグラフ間エツジの
集まりを生成し、指定ノードがらエツジおよびフローグ
ラフ間エツジを辿りパスリストを生成することにより、
部分フローグラフ内の指定された任意のノードから部分
フローグラフ間にまたがるパスを含めて出力でき、必要
なパス情報が１度に出力できるという効果がある。
第１図は本発明の一実施例を示すブロック図、第２図は
本発明のフロー解析の結果記憶装置に記録される情報の
例を表わす概念図、第３図〜第９図はフロー解析器の処
理フローの一例を示すフローチャートである。 １は入力装置、２はフロー解析器、３はパス出力器、４
は記憶装置、５は出°力装置、４１は指定ノード、４２
は部分フローグラフの集まり、４３はフローグラフ間エ
ツジの集まり、４２−１．４２−２は部分フローグラフ
、４３−１はフローグラフ間エツジ、１−１．〜１−５
．２−１〜２−５はノード、１−１１〜１−１５．２−
１１〜２笛４図 易ｊ〆
本発明のフロー解析の結果記憶装置に記録される情報の
例を表わす概念図、第３図〜第９図はフロー解析器の処
理フローの一例を示すフローチャートである。 １は入力装置、２はフロー解析器、３はパス出力器、４
は記憶装置、５は出°力装置、４１は指定ノード、４２
は部分フローグラフの集まり、４３はフローグラフ間エ
ツジの集まり、４２−１．４２−２は部分フローグラフ
、４３−１はフローグラフ間エツジ、１−１．〜１−５
．２−１〜２−５はノード、１−１１〜１−１５．２−
１１〜２笛４図 易ｊ〆
Claims (1)
- 入力装置から入力されたソースプログラムを解析し、記
憶装置内にノードおよびエッジより成る部分フローグラ
フの集まり、および、前記部分フローグラフのフローグ
ラフ間エッジの集まりを生成するフロー解析器と、前記
入力装置から入力され記憶装置に記録された指定ノード
を起点として前記フロー解析器が生成した前記部分フロ
ーグラフの集まり、および、前記フローグラフ間エッジ
の集まりを辿りパスリストを生成し出力装置に出力する
出力器とを含むことを特徴とする部分パスリスト生成器
。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP29382986A JPS63146129A (ja) | 1986-12-09 | 1986-12-09 | 部分パスリスト生成器 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP29382986A JPS63146129A (ja) | 1986-12-09 | 1986-12-09 | 部分パスリスト生成器 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPS63146129A true JPS63146129A (ja) | 1988-06-18 |
Family
ID=17799698
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP29382986A Pending JPS63146129A (ja) | 1986-12-09 | 1986-12-09 | 部分パスリスト生成器 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPS63146129A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2010500497A (ja) * | 2006-08-10 | 2010-01-07 | ダイムラー・アクチェンゲゼルシャフト | 内燃機関 |
-
1986
- 1986-12-09 JP JP29382986A patent/JPS63146129A/ja active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2010500497A (ja) * | 2006-08-10 | 2010-01-07 | ダイムラー・アクチェンゲゼルシャフト | 内燃機関 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP2627512B2 (ja) | ネツトワーク図作成装置 | |
| US20020052856A1 (en) | Method of data-dependence analysis and display for procedure call | |
| JP2005018114A (ja) | プログラム保守支援装置、プログラム保守支援方法、およびプログラム | |
| Bakker et al. | Ten years of concurrency semantics: selected papers of the Amsterdam Concurrency Group | |
| Holzmann | Early fault detection tools | |
| JPS63146129A (ja) | 部分パスリスト生成器 | |
| Milius et al. | A new foundation for finitary corecursion: The locally finite fixpoint and its properties | |
| JP2004178270A (ja) | 有向グラフ解析方法、解析装置及びそのプログラム | |
| JPH06348475A (ja) | ポインタ解析システム | |
| Lee et al. | An SSIMD compiler for the implementation of linear shift-invariant flow graphs | |
| JPH09101880A (ja) | プログラム分析装置 | |
| JP3648710B2 (ja) | プログラム解析システム | |
| CN112306470B (zh) | 一种复杂同步语言程序的化简转化和自动验证方法 | |
| Cox et al. | Advanced programming aids in PROGRAPH | |
| Wedler et al. | Parallel implementations of combinations of broadcast, reduction and scan | |
| JPH0793144A (ja) | プログラム解析装置 | |
| Brunner | Formal Verification of Algorithms for Automata and Model Checking | |
| JPH04177427A (ja) | プログラム木構造図作成装置 | |
| JPH06222913A (ja) | プログラム解析装置 | |
| JPH0950379A (ja) | プログラム意味保存コード移動装置 | |
| JPH05241890A (ja) | データトレース方式 | |
| JP3167386B2 (ja) | プログラム自動並列化方法 | |
| Wang et al. | Hindsight helps: deterministic task scheduling with backtracking | |
| JPH04148328A (ja) | 状態遷移変換装置 | |
| JPH0340144A (ja) | パターン解析機能を持つスナップショットダンプ出力処理装置 |