| 要旨 | .... 4 | |
| Abstract | .... 5 | |
| 1 | はじめに | .... 6 |
| 2 | 最適化手法の概要 | .... 9 |
| 2.1 | プログラム情報の抽出 | .... 10 |
| 2.2 | インライン展開 | .... 15 |
| 2.3 | カットの自動挿入 | .... 22 |
| 2.4 | 局所的最適化手法 | .... 25 |
| 3 | Prolog オプティマイザ試作と評価 | .... 31 |
| 3.1 | 試作 | .... 31 |
| 3.2 | 時間評価 | .... 35 |
| 4 | まとめ | .... 48 |
| 謝辞 | .... 51 | |
| 参考文献 | .... 53 | |
| End | .... 59 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports