関数型言語処理系におけるデータ構成子のunbox化

DOI Web Site 参考文献6件

書誌事項

タイトル別名
  • Unboxing Data Constructors in a Lazy Functional Language
  • カンスウガタ ゲンゴ ショリケイ ニ オケル データ コウセイシ ノ unb

この論文をさがす

抄録

<p>遅延評価型の関数型言語は,理論的な取扱いが容易でプログラムも簡潔に書ける点が評価されているが,実行効率の問題が指摘されてきた.しかし,最近になってGlasgow Haskell Compilerに代表される効率的な言語処理系が登場し,実用的なプログラミング言語としても注目を集めている. 関数型言語処理系の効率的な実装を可能にした技術が大域的なプログラム解析をもとにした最適化であるが,この1つが正格性解析を用いた引数のunbox化によるメモリアクセスの軽減である.本論文では,この最適化をさらに進めて,unbox化を関数引数だけでなく代数データ型のデータ構成子の要素にも適用する方法を提案する.この方法に基づき,Glasgow Haskell Compilerのコード生成部を改良し,いくつかのプログラムに対して実行効率の向上を確認した.</p>

収録刊行物

参考文献 (6)*注記

もっと見る

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

問題の指摘

ページトップへ