Flat GHCプログラムの抽象解釈
スポンサーリンク
概要
- 論文の詳細を見る
抽象解釈(abstractinterpretation)はあるプログラムの様々な特性を解析するための統一的な枠組として適している.抽象解釈とは,プログラムを近似的に実行することにより,実際の実行を効率的にシミュレートするものである.近似の度合いに応じて解析される内容は変化するが,その基本的な抽象解釈の枠組は同じものが使える.この統一的な性質が抽象解釈の大きな武器である.ここでは,FGHCプログラムのプログラム解析のための統一的な枠組として不動点意味論に基づく抽象解釈の検討を行い,モード付きタイプ推定の例とその応用について考察した.
- 一般社団法人情報処理学会の論文
- 1991-02-25