言語実装とツールチェーン

このカテゴリの用語

BEAM（ビーム）英語表記: BEAM (Bogdan/Björn’s Erlang Abstract Machine) 概要 BEAMとは、主に高信頼性、高並行性を要求されるシステムのために設計された関数 […]

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）」 […]