コンパイルと言語処理系（コンパイラ, インタプリタ, JIT）

このカテゴリの用語

CLR（シーエルアール）英語表記: CLR (Common Language Runtime) 概要 CLR（Common Language Runtime）は、Microsoftが提供する.NETプラットフォームの中 […]

JVM（ジェイブイエム）英語表記: JVM (Java Virtual Machine) 概要 JVM（Java Virtual Machine）は、Java言語で書かれたプログラムを実行するために設計された仮想的な実 […]

Hindley-Milner 型英語表記: Hindley-Milner Type System 概要 Hindley-Milner型システムは、静的型付け言語において、プログラマが明示的に型を宣言しなくても、コンパイ […]

ラムダ計算英語表記: Lambda Calculus 概要ラムダ計算（Lambda Calculus）は、1930年代に数学者アロンゾ・チャーチによって考案された、計算可能性と関数定義を形式的に表現するための数学的体 […]

型推論エンジン英語表記: Type Inference Engine 概要型推論エンジンとは、プログラミング言語の処理系（コンパイラやインタプリタ）に組み込まれている、コード中で明示的に宣言されていない変数や式のデー […]

ANTLR（アントラー）英語表記: ANTLR (Another Tool for Language Recognition) 概要 ANTLR（アントラー）は、プログラミング言語や設定ファイルなどの文法定義から、その […]

Yacc/Bison（ヤックバイソン）英語表記: Yacc/Bison 概要 Yacc/Bisonは、コンパイラやインタプリタなどの「言語処理系」を構築する際に利用される、非常に強力な「言語処理ツール」の一つです。これ […]

Lex/Flex（レックスフレックス）英語表記: Lex/Flex 概要 Lex/Flexは、プログラミング言語のコンパイラやインタプリタを構築する際に、最初の段階である「字句解析（Lexical Analysis）」 […]

GPU オフロード英語表記: GPU Offloading 概要 GPUオフロードは、「コンパイルと言語処理系」における「最適化技術」の一つであり、特に「並列最適化」の範疇に位置づけられます。これは、プログラムの中で大 […]

Auto Vectorization（オートベクタライゼーション）英語表記: Auto Vectorization 概要オートベクタライゼーションは、コンパイルと言語処理系のプロセスにおいて、コンパイラが実行する高度 […]