最適条件の時間論理記述を用いたモデル生成器によるコード最適化
書誌事項
- タイトル別名
-
- Code Optimization by Model Generation in Temporal Logic
抄録
本論文では,コンパイラにおけるコード最適化を自動化する新しい方式を提案する.まず,コンパイラの最適化で用いられる中間言語に似た簡易な言語を定義し,プログラムの制御の流れを記述する論理としてCTL*の拡張であるCTL*-FVを定義する.プログラムの制御はこの論理のモデルと見なすことができる.次に,最適化の対象となるコードと同じ意味を持つコードが満たすべき制約を求める手続きを与え,更に無用コードがない等の最適なコードの性質を論理式で与える.これらの制約を満たすモデルをモデル生成器で生成することにより最適化コードを得る.最後に,プログラム間の効率の良さを表す半順序関係を定義し,この方式で得られるコードはこの関係において同値であることを示す.
収録刊行物
-
- 日本ソフトウェア科学会大会講演論文集
-
日本ソフトウェア科学会大会講演論文集 2003 (0), 65-65, 2003
日本ソフトウェア科学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390282680501984896
-
- NII論文ID
- 130004638810
-
- ISSN
- 13493515
-
- データソース種別
-
- JaLC
- CiNii Articles
-
- 抄録ライセンスフラグ
- 使用不可