Read/Search this Article
Abstract
約2000行のMLコードにより実装された,教育目的のコンパイラMinCamlについて議論する.対象言語は値呼び,非純粋,暗な単相型を持つ高階関数型言語である.レイトレーシングを含むいくつかのアプリケーション・プログラムに対し,実行速度においてObjective CamlやGCCとほぼ同等のコードを生成することができた.
We present an educational compiler, MinCaml, implemented in 2000 lines of ML. The target language is a strict, impure, implicitly typed, higher-order functional language. The compiler produces as fast code as Objective Caml and GCC do for several application programs including a ray tracer.
Journal
- コンピュータソフトウェア [List of Volumes]
-
コンピュータソフトウェア 25(2), 28-38, 2008-04-24 [Table of Contents]
Japan Society for Software Science and Technology (JSSST)