Common ESPプログラム解析ツールの評価
スポンサーリンク
概要
- 論文の詳細を見る
我々は以前にオブジェクト指向論理型言語Common ESP(CESP)のプログラム開発効率をあげるためにプログラム解析ツールを開発した。これらは構文解析ツールcesplintとプログラム構造解析ツールpsaであり、以下のような機能を備えている。1.CESPの構文チェック機能2.不要な述語、未定義述語の発見3.実行効率の悪いプログラムへのアドバイス4.引数の型の自動判定さらに我々は改良を加え以下の機能を追加した。5.未定義クラスの検出6.同じ機能をするローカル述語の削除7.クローズ内ORの展開本報告ではプログラム解析ツールの機能の詳細および実用プログラムへの適用としてCESPコンパイラへの適用結果について述べる。
- 一般社団法人情報処理学会の論文
- 1992-09-28
著者
関連論文
- ビジネス系アプリケーション実行、連用環境 : HYPERSTAGE II/STD, SYM
- ビジネスコンピュータにおけるGUI端末操作環境
- Common ESPプログラム解析ツールの評価
- CommonESPプログラム解析ツールの開発
- Common ESP処理系における最適化の一考察(2)
- Common ESP処理系における最適化の一考察(1)
- Prologによる数学上の定理証明