(9) KL1プログラム静的解析系

［目次］

1. 研究の背景
2. 研究の目的
3. 研究内容
4. 研究体制／研究方法
5. 想定されるソフトウェア成果

［研究の背景］

しかし、これらの経験を通じて、プログラムの静的デバッグおよび処理 系最適化のためには、解析したモード情報に立脚して、さらにデータ型 やデータ参照数を解析することが重要であることもはっきりしてきた。 これらの解析は、モード解析と類似の技法で効率良く行なうことができ るが、まだ実装されておらず、実際の大規模KL1プログラムでうまく機 能するかどうかはまだ実証されていない。

［研究の目的］

これらの解析情報は、並行論理プログラムの実行時の性質に関する、実 装方式に依存しない性質である。処理系最適化のためには、間接参照ポ インタの段数をはじめとする実装方式依存の解析情報を抽象解釈によっ て得ることも有用であるが、このような抽象解釈も、モード体系や型体 系の存在を前提として、実装方式非依存の解析情報を得てから行なうこ とによって、見通しを格段に良くすることができる。

モード、型、参照数に関する情報は、(a)プログラムの静的デバッグ、 (b)プログラミングスタイルのチェック、(c)処理系最適化、(d)詳細な プログラム解析のための基礎情報の提供、(e)動的デバッグのための基 p礎情報の提供、などさまざまな応用がある。本研究開発ではまず、これ らの３種の情報を提供する解析系の完成を目指す。さらに、これらの情 報の、処理系最適化や静的デバッガへの応用を検討する。

［研究内容］

(a)　KL1特有の言語機能の取扱いの実現

ガードおよびボディの組込述語の呼出し、特にベクタ操作など、 構造データへのランダムアクセス操作へのモードづけについて、 klint公開後、試験実装に成功したので、これをklintに組込む。

インライン機能のモードづけの可能性については、ひきつづき検 討する。

(b)　現klintの改訂

現在公開されているklintには、いくつかのバグがあることが最近 発見された。これらを改訂し、公開を行なう。

(c)　型解析機能の設計と実装

本研究で考える型とは、データ構造中の特定の場所に出現しうる関 数記号の集合のことである。リスト、整数、浮動小数点数、列挙型 （例：ストリーム中を流れるメッセージの種類を列挙したもの）な どを、これで表現することができる。モード情報と同様、単一化に 基づく解析によって求めることができる。この機能の設計、実装を 行なう。

型解析のためには、「どのような関数記号の集合が型を構成するか」 に関する情報が必要である。整数型（＝整数の集合）などの一部の 型は、システム既定の型としてあらかじめ用意しておくことが可能 だが、一般には、プログラマが型を定義する機能も必要である。そ こで、型定義機能をあわせて設計、実現する。

(d)　参照数解析機能の設計と実現

本研究で考える参照数とは、データ構造中の特定の場所に出現する データの読み手が、単数に限られるか複数になりうるかに関する情 報である。参照数情報は、他の情報と同様に、制約充足問題として 定式化することができ、近似的には単一化によって容易に求めるこ とができる。しかし、より詳細な解析を行なうためには、単一化よ りも複雑な制約充足（含意演算子を含む制約式の処理）が必要とな ることがわかっている。

そこで、まずは近似解を効率良く求める機能を実装し、その後、正 確な解を求める方法の研究開発を行なう。

［研究体制／研究方法］