Contents of Report

[Data of Report]

	概要	.... 2
1	はじめに	.... 2
2	抽象解釈の直感的な説明	.... 3
2.1	論理プログラムの通常の実行	.... 3
2.2	領域の抽象化	.... 4
2.3	論理プログラムの抽象領域上での実行	.... 5
3	論理プログラムの抽象インタプリタ	.... 7
3.1	Bottom-up インタプリタを用いるアプローチ	.... 8
3.2	Top-down インタプリタを用いるアプローチ	.... 10
3.3	Magic Set 風の変換と Bottom-up インタプリタを用いるアプローチ	.... 12
4	抽象解釈についての不動点計算を用いた一般論	.... 15
4.1	具体領域の不動点意味論	.... 16
4.2	抽象領域の設計	.... 17
4.3	抽象領域上の不動点意味論	.... 18
5	抽象解釈を用いたプログラム解析の具体例	.... 20
5.1	モード解析	.... 21
5.2	データタイプ推定	.... 21
5.3	決定性検出、関数性検出	.... 22
5.4	Occur Check 解析	.... 22
5.5	プログラムの部分計算への応用	.... 22
6	おわりに	.... 22
	謝辞	.... 23
	参考文献	.... 23
	End	.... 27

目次をクリックすると、PDFファイルが表示されます。