スクリプト言語コンパイラのための評価による最適化

情報処理学会 Web Site

書誌事項

タイトル別名
  • スクリプト ゲンゴ コンパイラ ノ タメ ノ ヒョウカ ニ ヨル サイテキ カ
  • Optimization by Evaluation in Compilers for Scripting Languages

この論文をさがす

説明

近年，PHP，Java Script，Ruby，Perlなどのスクリプト言語の人気が高まっている．これらの言語に特徴的なのは実行系やアプリケーションにおいて連想配列が幅広く使われることである．本稿ではスクリプト言語のコンパイラ向けに連想配列の処理を削減するための評価器による最適化の実現方法を報告する．まずプログラムからコンパイル時（static）と実行時（dynamic）の値の組への評価をするような単純な評価器から始め，これに1) 連想配列のコンパイル時表現，2) 不要なletの除去，3)コンパイル時連想配列の実体化の処理などを追加していくことで実用的な連想配列の最適化が可能になる．

Scripting languages including PHP, JavaScript, Ruby, Perl, etc., are recently very popular. One characteristic of these languages is the heavy use of associative arrays in their runtime and applications. In this talk, we report how, inside compilers for scripting languages, optimization-by-evaluation techniques can optimize associative arrays. Starting from a simple evaluator that evaluates a program into a pair of compile-time (static) and runtime (dynamic) values, we derive a practical optimizer for associative arrays step by step by adding 1) compile-time array representation, 2) removal of useless let-insertion, and 3) reification of compile-time arrays.

収録刊行物

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ