| 平成９年度 委託研究ソフトウェアの概要 |
| 研究代表者： | 上田 和紀 教授 |
| 早稲田大学理工学部情報学科 |
本研究では、これまでに開発したモード解析系klintをさらに発展させるととも に、新たに型解析機能と参照数（あるデータの読み手が単数か複数かに関する情 報）解析機能の設計と実装を行なう。これらの情報は、(a)プログラムの静的デ バッグ、(b)プログラミングスタイルのチェック、(c)処理系最適化、(d)詳細な プログラム解析のための基礎情報の提供、(e)動的デバッグのための基礎情報の 提供、などさまざまな応用がある。さらに、これらの解析情報の、処理系最適化 や静的デバッガへの応用を検討する。
| １９９７年６月１日 より １９９８年２月末日 |
| 網代 育大 | 早稲田大学大学院理工学研究科情報科学専攻 |
| 加藤 昇嗣 | 早稲田大学大学院理工学研究科情報科学専攻 |
| 倉持 聡 | 早稲田大学大学院理工学研究科情報科学専攻 |
| 土山 了士 | 早稲田大学大学院理工学研究科情報科学専攻 |
www-admin@icot.or.jp