この項目では、コンピュータプログラムにおけるコンパイラについて説明しています。麻宮騎亜作の漫画については「Compiler 」をご覧ください。
この記事には
参考文献 や
外部リンク の一覧が含まれていますが、
脚注 による参照が不十分であるため、情報源が依然不明確です。
適切な位置に脚注を追加して、記事の信頼性向上 にご協力ください。（2018年10月 ）
プログラムの実行 一般的な概念 コードの種類 コンパイル戦略 有名なランタイム 有名なコンパイラとツールチェーン
コンパイラ （英 :compiler ）は、高水準言語 で書かれたコンピュータプログラム を、コンピュータが実行や解釈できる形式に、一括して変換するソフトウェア [ 1]
コンパイラの技術書のバイブルとされるAlfred V.Aho（アルフレッド・エイホ ）著Compilers, Principles, Techniques, and Tools （通称「ドラゴンブック」[ 注釈 1] [ 2]
英語の動詞 で、あるプログラム言語で書かれたコードを別の言語で書かれたコードに変換することを"compile コンパイル ）といい、コンパイラとはその変換を一括して行なうコンピュータプログラム のことである。インタプリタ とよく対比される。
（なお、上では「ソースプログラム」「ターゲットプログラム」という古典的用語を含む説明文を紹介したが、最近の技術用語では、変換される前のプログラムを「ソースコード 」と呼び、変換後の機械語あるいは中間言語のプログラムなどを「オブジェクトコード 」と呼ぶ[ 3] バイナリ コード」ということもある。）
よくあるのは、高水準言語 で書かれたプログラムを、コンピュータのプロセッサ [ 注釈 2] 機械語 あるいはアセンブリ言語のような低水準言語 あるいは元のプログラムよりも"低いレベル"のコード（例えばバイトコード などの仮想マシン 向け中間表現 ）に変換するものである。
コンパイラを俯瞰してみると、この世には圧倒されるほど多種類のコンパイラがある[ 2] FORTRAN など歴史の古い言語から始まり近年勃興してきている言語まで含めると数千にもおよぶプログラミング言語があり、他方、オブジェクトコード（ターゲットプログラム）の記述に使われる言語のほうに着目しても、種類がやはり非常に多く、ソースコードの言語とは別の言語であるかも知れないし[ 注釈 3] マイクロプロセッサ を用いたコンピュータのものからスーパーコンピュータ のものまであり多種多様だからである[ 2]
またコンパイラの種類には、シングルパス（ワンパスとも。1回で変換作業を完了できるもの）、マルチパス（en:Multi-pass compiler 。複数回の作業が必要だが、主記憶が少なくても動くもの）、ロード・アンド・ゴー（変換してすぐに実行を開始するもの）、デバッグ 用、最適化用などの種類もある[ 2] #分類 の節で説明
またコンパイルを使ったコンパイル作業は、ひとつのプログラムとして動作する全てのコードをいっぺんにコンパイルするのではなく、モジュール毎などに分けてコンパイルし（「分割コンパイル」）、ライブラリ などはあらかじめコンパイルされているものと合わせて 、実行するようにすることも多い[ 4] リロケータブルバイナリ を出力し、実行可能ファイルの生成にはリンケージエディタ が必要であり、さらに動的リンク で実行する場合はダイナミックリンカ／ローダ（ローダ の一種）も必要である。
なお、「コンパイラ（言語） / インタプリタ（言語）」という2分法的な分類は、Java 登場以前では一般的で適切だったが、近年では適切でないことも増えている。開発環境などでは、コンパイルした後に実行するというような手続きを1コマンドで行えるものも増えている。そして、Java以降はインタプリタでも実行時コンパイラ などの技術の利用がさかんになってきており、古典的な意味での「コンパイラ」と「インタプリタ」の中間的な性質のツール（プログラム）も増えてきているからである。
なお英語の「compile」はもともと「編集 する」「編纂 する」という意味であり[ 5] [ 6] [ 7] [ 8] [ 9] [ 10]
1940年代まで、コンピュータのプログラミングは機械語で直接行なわれていた。プログラムを指して「コード」（英語では暗号を意味する）と呼ぶのは、知らない人間には機械語は全く意味のわからない数値の羅列だからである。しかし、（人間にとって比較的理解のしやすい）十進法 の数字で書かれたアドレスを内部表現の二進法に変換する、といったプログラムならばEDSAC （1940年代末に登場した、イギリスのマシン）において既に存在していた。（つまり、この段階で、アセンブラ のごく一部の機能に限れば、実現していたことになる）
機械語でのプログラミングは言うに及ばず、アセンブリ言語を用いても、プログラミングというのは面倒な作業である。そういった低水準言語 から、人間がより扱いやすい高水準言語 が徐々に求められるようになった。また、機械の詳細が抽象化されることにより、高水準なプログラミング言語で書かれた同一のソースコードを元に、詳細仕様が異なる機械でも動くプログラムを生成できる、という利点もあった。1950年代末までに、プログラミング言語がいくつか提案され、実験的なコンパイラがいくつか開発された。
世界初のコンパイラについては、1952年にグレース・ホッパー が書いたA-0 System だとされることもある。だが一般的には1957年 にIBM のジョン・バッカス のチームが開発したFORTRAN コンパイラ最適化 の機能が付け加えられるが、最初のFORTRANコンパイラでは、コンパイラが実用になることを示すために、最初から最適化に労力が向けられた。
1960年の、ホッパーらによるCOBOL は複数のアーキテクチャ 上でコンパイル可能となった言語の最初期の1つである。
様々なアプリケーション領域で、高水準言語というアイデアは素早く浸透していった。機能が拡張されたプログラミング言語が次々と提案され、コンピュータのアーキテクチャ そのものも複雑化していったため、コンパイラはどんどん複雑化していった。
初期のコンパイラはアセンブリ言語で書かれていた。世界初の「セルフホスティング コンパイラ」は、1962年にマサチューセッツ工科大学 の Hart と Levin が開発したLISP コンパイラである[ 11] Pascal やC言語 などにおいて、コンパイル対象言語でコンパイラを書くことが一般化した。さらにより高水準の言語のコンパイラは、PascalやC言語で実装することも多い。セルフホスティング・コンパイラの構築には、ブートストラップ問題 がつきまとう。すなわち、コンパイル対象言語で書かれたコンパイラを最初にコンパイルするには、別の言語で書かれたコンパイラが必要になる。Hart と Levin の LISPコンパイラではコンパイラをインタプリタ上で動作させてコンパイルを行なった。
機械語 にコンパイルするコンパイラもあれば、そうでないコンパイラ（後述）もある。機械語コードのことを、ハードウェアであるプロセッサ の生のコード、というような意味でネイティブコードなどと言うことがあり、機械語にコンパイルするコンパイラのことをネイティブコンパイラと言うことがある。
コンパイラに限らず、入力と出力を持つあらゆる変換系は、入力の種類がm種類、出力の種類がn種類あるとすると、m×n種類があることになる。コンパイラの場合、プログラミング言語がm種類、コード生成の対象となる命令セットアーキテクチャがn種類、といったような感じになるわけであり、入力側をフロントエンド、出力側をバックエンドと言うが、中間表現の設計いかんでは、残りの中間処理の部分、特に重要な部分であるコンパイラ最適化 を共有できるため、1980年代以降に基本設計が為されたGCCやCOINSやLLVMなどでは、そのようにして多言語・多ターゲットに対応している。
汎用OSなど、開発環境と同じ環境で目的プログラムも動作させるような開発を「セルフ開発」と言い、セルフ開発のコンパイラを「セルフコンパイラ」という。それに対し、開発環境とは別の環境で実行するような開発を「クロス開発」といい、そのためのコンパイラをクロスコンパイラ という。OSカーネル自身のコンパイルなどは、カーネル自身の実行環境は、そのOSではなくベアメタルであるという意味ではある種のクロスコンパイルのようなものであるし、新しいコンピュータシステムのための環境を最初に作るにはクロス開発の必要がある。あるいは、組み込みシステム やPDA など、それ自体が開発環境を動作させるだけの機能や性能を持たない場合、といったものもある。
いわゆるネイティブコードではなく中間コード を生成し、さらに別のコンパイラに処理を任せたり、別のインタプリタによって実行したりするものもある。これを中間コードコンパイラ、バイトコード コンパイラなどと呼ぶ。またそのバイトコードを解釈実行する処理系をバイトコードインタプリタなどと呼ぶ。
コンパイラは様々な処理の集合体であり、初期のコンピュータではメモリ容量が不十分であったため、一度に全ての処理を行うことができなかった。このためコンパイラを複数に分割し、ソースコードや何らかの中間的な表現に何度も処理を施すことで解析や変換を行っていた。
一回でコンパイルが可能なものをワンパスコンパイラ と呼び、一般にマルチパスコンパイラ よりも高速で扱いやすい。Pascal など、多くの言語はワンパスでコンパイルできるよう意図して設計されている。
言語の設計によっては、コンパイラがソースコードを複数回読み込む必要がある。たとえば、20行目に出現する宣言文が10行目の文の変換に影響を与える場合がある。この場合、一回目のパス（読み込み）で影響を受ける文の後にある宣言に関する情報を集め、二回目のパスで実際の変換を行う。
ワンパスの欠点は、高品質のコードに欠かせない最適化を行いにくいという点が挙げられる。最適化コンパイラが何回読み込みを行うかというのは決まっていないが、最適化の各フェーズで同じ式や文を何度も解析することもあるし、一回しか解析しない箇所もある。
コンパイラを小さなプログラムに分割する手法は、研究レベルでよく行われる。プログラムの正当性 の判定は、対象プログラムが小さいほど簡単なためである。
ネイティブコンパイラの他にも以下のような、「ネイティブの機械語」以外をターゲットとするコンパイラ（ないしトランスレータ）がある。
何らかの高水準言語から、何らかの高水準言語に変換する「トランスレータ」。「トランスコンパイラ 」などという語もある。たとえば、OpenMP などの自動並列化コンパイラは並列化が明示されていないプログラムを、並列化を明示したプログラムに変換する。または、FORTRANのDOALL 文など何らかの言語構文を変換する。 バイトコード コンパイラ。現在ではJava が代表的だが、（バイトコードという呼称が付く前から）中間表現 を使うものとして例えばpコードマシン など古くからある。Java やSmalltalk やマイクロソフトの共通中間言語 システムで使われているJITコンパイラ 。JITコンパイラはコンパイラの技術ではなくインタプリタの技術で、実行時に、解釈実行するのではなく機械語にコンパイルして実行する。 もっぱらその言語の処理系がコンパイラとして実装される言語を「コンパイラ言語」などと言い、インタプリタとして実装される言語を「インタプリタ言語」などと言うこともあるが、実験的な実装まで含めればどちらもある言語も多い。Microsoft Visual Studio に付属するF# /C# Interactiveのように、対話環境 で入力したプログラムを、コンパイラで共通中間言語 （中間表現 ）にコンパイルし、さらに共通言語ランタイム （仮想マシン）上でネイティブコードにJITコンパイルしてインタプリタ的に実行する、というような処理系もある。Java やMicrosoft Visual Basic のように、登場当初はインタプリタ方式だったが、のちにネイティブコードへのJITコンパイルやAOTコンパイルをサポートするようになった言語もある。
言語によっては、Common Lisp 規格のように実装にコンパイル機能を含むことを義務とするものもある(ただし、ANSI Common Lisp規格は解釈実行の処理系を禁止しているのではない)。また、インタプリタの実装が容易でコンパイラの実装が困難な言語もある（APL 、SNOBOL4 など）。メタプログラミングの利用、特に文字列をeval することは、インタプリタ方式では造作ないことだが、コンパイラ方式では実行環境にコンパイラ自体が必要となる（動的プログラミング言語 も参照）。
ハードウェア記述言語 の処理系（合成系）を、ハードウェアコンパイラとかシリコンコンパイラなどと呼ぶことがある。
コンパイルをアプリケーションの実行時に行うか、実行前に行うかで2つに分かれる。
事前コンパイラ - 実行前に事前にコンパイルする。Ahead-Of-Timeコンパイラ (AOTコンパイラ)。実行時コンパイラ - 実行時にコンパイルする。Just-In-Timeコンパイラ (JITコンパイラ)。コンパイラ構築とコンパイラ最適化 は、大学での計算機科学 や情報工学 のカリキュラムの一部となっている。そのようなコースでは適当な言語のコンパイラを実際に作らせることが多い。文書が豊富な例としてはニクラウス・ヴィルト が1970年代に教育用に設計し、教科書中で示したPL/0 がある[ 12] Oberon でOberonのサブセットOberon-0を実装している。
段階的改良によるプログラム開発 [リンク切れ の採用再帰下降構文解析 の採用拡張BNF記法 による文法記述の採用Pコード の採用ブートストラップ問題 をT図式（en:Tombstone diagram ）で形式的に記述もともとは、コンパイラはしばしばインタプリタ と対比されてきたものである。コンパイラは、生成された機械語プログラムなどの実行は行わないが、一度コンパイルすればコンパイラを使わずに何度も実行できるという利点がある。しかし、インタプリタ は、バイナリ の実行ファイルは生成せず、実行するときに常に必要だが、プログラム を作ったらすぐに実行できるという利点がある[ 13] [ 14]
コンパイラは、概念的に言うと、一般に次のようなフェーズ（phase(s)、段階）に従い処理を行う[ 15] [ 16]
通常、次のような入・出力図で説明される。[ 15]
ソースプログラム（ソースコード ） ↓字句解析器 構文解析器 セマンティック解析器 ↓中間コード生成器 ↓コード最適化器 ↓コード生成器 ↓ターゲットプログラム（オブジェクトコード） 太字で表記したものがコンパイラの中に含まれている部分（コンパイラの部品）である。つまり、まず字句解析器 （字句解析 部）がソースコードを読み込みトークン に分解し、次に構文解析器 （構文解析 部）がトークン列からプログラムの構文木を構築し、次にセマンティック解析器（意味解析器）が意味論的な解析を行い、次に中間コード作成器が中間コードを生成し、次に最適化器がコードの最適化を行い、最後にコード生成 器が最終的なターゲットプログラム（オブジェクトコード）[ 注釈 4]
なお、コンパイラの作成に関することだが、字句規則から字句解析器を生成するlex [ 17] パーサジェネレータ [ 18] コンパイラジェネレータ も研究されているものの、広く実用に使われるには至っていない。）
コンパイラ設計手法は処理の複雑さ、設計者の経験、利用可能なリソース（人間やツール）に影響される。
コンパイル処理の分割を採用したのはカーネギーメロン大学 でのProduction Quality Compiler-Compiler Project であった。このプロジェクトでは、「フロントエンド 」、「ミドルエンド」（今日では滅多に使われない）、「バックエンド」という用語が生み出された。
非常に小さなコンパイラ以外、今日では2段階（2フェーズ）以上に分割されている。しかし、どういったフェーズ分けをしようとも、それらフェーズはフロントエンドかバックエンドの一部と見なすことができる。フロントエンドとバックエンドの分割点はどこかというのは論争の種にもなっている。フロントエンドでは主に文法的な処理と意味論的な処理が行われ、ソースコードよりも低レベルな表現に変換する処理が行われる。
ミドルエンドはソースコードでも機械語でもない形式に対して最適化を施すフェーズとされる。ソースコードや機械語と独立しているため、汎用的な最適化が可能とされ、各種言語や各種プロセッサに共通の処理を行う。
バックエンドはミドルエンドの結果を受けて処理を行う。ここでさらなる解析・変換・最適化を特定のプラットフォーム向けに行う場合もある。そして、特定のプロセッサ やOS向けにコードを生成する。
このフロントエンド/ミドルエンド/バックエンドという分割法を採用することにより、異なるプログラミング言語向けのフロントエンドを結合したり、異なるCPU向けのバックエンドを結合したりできる。この手法の具体例としてはGNUコンパイラコレクション やAmsterdam Compiler Kit 、LLVM がある。これらは複数のフロントエンドと複数のバックエンドがあり、解析部を共有している。
フロントエンドはソースコードを分析して、中間表現 またはIR と呼ばれるプログラムの内部表現を構築する。また、シンボルテーブル を管理し、ソースコード内の各シンボルに対応したデータ構造に位置情報、型 情報、スコープ などの情報を格納する。このような処理はいくつかのフェーズで実施される。たとえば以下のようなフェーズがある。
行再構築 (Line reconstruction) - キーワードにストロッピング （英語版 ） トップダウン の再帰下降型の表駆動構文解析 では、ソースコードを一度読み込むだけでトークン化のフェーズは不要だった。ストロッピングを行う言語としては、Atlas Autocode （英語版 ） Edinburgh IMP （英語版 ） ALGOL 処理系などがあり、これらは「行再構築」フェーズを持っている。ストロッピングとは、キーワードに何らかの記号をつけることでキーワードとして使われている文字列を予約語 とせず、同じ文字列を変数名やサブルーチン名に利用できるようにしたものである。たとえば、シングルクオートでキーワードを囲むとか、%記号を先頭につけるなどの記法がある。字句解析 識別子 、シンボル名、「10」や「365」のような数、などである[ 19] 正規言語 に従うため、正規表現 を解釈する有限オートマトン で認識できる[ 20] 字句解析器 （lexical analyzer）と呼ぶ。プリプロセッサ マクロ を実装や、定数の定義、ヘッダファイルの読み込みに使われる。一般にこのフェーズは構文解析や意味解析の前に行われる。プリプロセッサはトークンを操作するものであって、構文を考慮しない[ 21] LISP のような言語では構文解析後にマクロ を置き換える必要があり、プリプロセッサは使われない。構文解析 構文木 が構築され、単なるトークンの列だったプログラムにその言語の文法を定義した形式文法 の規則を適用することで木構造 を生成する[ 22] [ 23] 意味解析 （英語版 ） 構文木 の要素に意味を追加し、シンボルテーブルを作成する。型チェック （データ型などを間違っていないかのチェック）や、変数や関数の定義と参照箇所を結びつける処理、既定値代入（自動変数の初期化）、意味的に不正なプログラムを検出して通知するなどの処理が行われる。[ 20] 構文解析 とコード生成 の間に行わなければならない。もちろんコンパイラの実装によってはこれらを一度に行うこともある。「バックエンド」という用語は「コード生成 」という用語と混同されることが多い。アセンブリ言語コードを生成するという意味で機能的にも類似しているためである。書籍によっては、バックエンドの汎用解析フェーズと最適化フェーズを「ミドルエンド」と称してマシン依存のコード生成部と区別することがある。
バックエンドに含まれる主なフェーズは以下の通りである。
解析部 - 入力から生成された中間表現を使って各種情報を収集する。主な解析としてUD連鎖を構築するデータフロー解析 、依存関係解析、エイリアス解析、ポインタ解析、エスケープ解析などがある。正確な解析によってコンパイラ最適化が可能となる。また、コールグラフ や制御フローグラフ がここで作られることが多い。最適化 インライン展開 、デッドコード削除 、定数伝播 、ループ変換、レジスタ割り当て 、自動並列化などがある[ 24] コード生成 機械語 やバイトコードを生成する。ここでリソースや記憶装置の割り当てが決定される。たとえば、どの変数をレジスタに格納し、どの変数をメモリに格納するか、どの命令をどういう順番で実行するかをアドレッシングモードなどをセシィ-ウルマン法 などを用いて決定する。コンパイラ解析とは、コンパイラ最適化の前に行われる処理で、両者は密接な関係がある。たとえば依存関係解析はループ変換実施に重要な意味を持つ。
さらに、コンパイラ解析と最適化の範囲は様々であり、基本的なブロック単位の場合からプロシージャや関数レベル、さらにはプロシージャの垣根を超えてプログラム全体を対象とすること（プロシージャ間最適化 （英語版 ）
最近の商用コンパイラはプロシージャ間解析/最適化を備えているのが普通である（IBM、SGI 、インテル 、マイクロソフト 、サン・マイクロシステムズ など）。オープンソースのGCC はプロシージャ間最適化を持たない点が弱点だったが、これも改善されつつある。他のオープンソースのコンパイラで完全な最適化を行うものとしてOpen64がある。
コンパイラ解析と最適化には時間と空間が必要となるため、コンパイラによってはデフォルトでこれらのフェーズを省略するものもある。この場合、ユーザーはオプションを指定して明示的に最適化を指示しなければならない。
この節には独自研究 が含まれているおそれがあります。 問題箇所を検証 し出典を追加 して、記事の改善にご協力ください。議論はノート を参照してください。（2018年9月 ）
以下のプログラムは中置記法 で入力された四則演算を逆ポーランド記法 を経て、独自の中間表現にコンパイルするC言語で書かれた非常に単純なワンパス・コンパイラである。このコンパイラは中置記法 を逆ポーランド記法 にコンパイルすると共に、ある種のアセンブリ言語 にもコンパイルする。再帰下降型の戦略を採用している。このため、各関数が文法における各非終端記号に対応している。
#include <stdlib.h> #include <stdio.h> #include <string.h> #define MODE_POSTFIX 0 #define MODE_ASSEMBLY 1 char lookahead ; int pos ; int compile_mode ; char expression [ 20 + 1 ]; void error () { printf ( "Syntax error! \n " ); } void match ( char t ) { if ( lookahead == t ) { pos ++ ; lookahead = expression [ pos ]; } else error (); } void digit () { switch ( lookahead ) { case '0' : case '1' : case '2' : case '3' : case '4' : case '5' : case '6' : case '7' : case '8' : case '9' : if ( compile_mode == MODE_POSTFIX ) printf ( "%c" , lookahead ); else printf ( " \t PUSH %c \n " , lookahead ); match ( lookahead ); break ; default : error (); break ; } } void term () { digit (); while ( 1 ) { switch ( lookahead ) { case '*' : match ( '*' ); digit (); printf ( "%s" , compile_mode == MODE_POSTFIX ? "*" : " \t POP B \n\t POP A \n\t MUL A, B \n\t PUSH A \n " ); break ; case '/' : match ( '/' ); digit (); printf ( "%s" , compile_mode == MODE_POSTFIX ? "/" : " \t POP B \n\t POP A \n\t DIV A, B \n\t PUSH A \n " ); break ; default : return ; } } } void expr () { term (); while ( 1 ) { switch ( lookahead ) { case '+' : match ( '+' ); term (); printf ( "%s" , compile_mode == MODE_POSTFIX ? "+" : " \t POP B \n\t POP A \n\t ADD A, B \n\t PUSH A \n " ); break ; case '-' : match ( '-' ); term (); printf ( "%s" , compile_mode == MODE_POSTFIX ? "-" : " \t POP B \n\t POP A \n\t SUB A, B \n\t PUSH A \n " ); break ; default : return ; } } } int main ( int argc , char ** argv ) { printf ( "Please enter an infix-notated expression with single digits: \n\n\t " ); scanf ( "%20s" , expression ); printf ( " \n Compiling to postfix-notated expression: \n\n\t " ); compile_mode = MODE_POSTFIX ; pos = 0 ; lookahead = * expression ; expr (); printf ( " \n\n Compiling to assembly-notated machine code: \n\n " ); compile_mode = MODE_ASSEMBLY ; pos = 0 ; lookahead = * expression ; expr (); return 0 ; } この単純なコンパイラの実行例を以下に示す。
Please enter an infix-notated expression with single digits: 3-4*2+2Compiling to postfix-notated expression: 342*-2+Compiling to assembly-notated machine code: PUSH 3 PUSH 4 PUSH 2 POP B POP A MUL A, B PUSH A POP B POP A SUB A, B PUSH A PUSH 2 POP B POP A ADD A, B PUSH A ^ この本の表紙には赤いドラゴン の絵が描かれているのでドラゴンブックと呼ばれている。 ^ 例えばCPU やGPU など。 ^ オブジェクトコードの記述に使われる言語は、要は、その言語から最終的に機械語に翻訳する道筋が1筋（1本）でもあるものであればよい。理論上、機械語にたどり着くまでに途中で何種類もの言語にコンパイル（翻訳）する必要があっても、ともかく最終的に機械語に翻訳するまでの道筋が1本あれば良い。オブジェクトコードの記述に使われる言語は必ずしもアセンブリ言語や機械語でなくてもよい。たとえばC++ で書かれたオブジェクトコードを出力するコンパイラやC言語 で書かれたオブジェクトコードを出力するコンパイラもある。それぞれ、C++を機械語に、あるいはC言語を機械語に変換するコンパイラを別途用意すれば最終的にCPUが実行できる機械語に変換できる。よくあるのはアセンブリ言語 で書かれたオブジェクトコードを出力するコンパイラである。アセンブリ言語で書かれたプログラムも通常そのままでは実行できないが、アセンブラ を使ってやはりCPUが実行できる機械語に変換できる。 ^ 最終的に出力されるターゲットプログラムは、機械語やアセンブリ言語で記述したものが多いが、それらに限るわけではなく、中間コードや高級言語のプログラムを出力するコンパイラもある。 ^ “コンパイラとは - IT用語辞典 ”. IT用語辞典 e-Words . 2023年2月22日閲覧。 ^a b c d Alfred V. Aho, Compilers, Principles, Techniques, and Tools. Reprinted with corrections March, 1988.（Copyright 1986,Bell Telephone Laboratories, Incorporated）, pp.1-2. （Chapter 1.1 "COMPILERS"の節の説明） ^ ASCII.jpデジタル用語辞典,デジタル大辞泉,IT用語がわかる辞典. “オブジェクトコード(おぶじぇくとこーど)とは ”. コトバンク . 2020年4月26日閲覧。 ^ “分割コンパイル ”. www3.nit.ac.jp . 2020年4月27日閲覧。 ^ プログレッシブ英和中辞典「compile」 ^ Oxford Dictionary;Produce (a list or book) by assembling information collected from other sources 「何らかの情報源から集めた情報を元にして、一覧や本を作りだす」 ^ プログレッシブ英和中辞典「compiler」 ^ 大辞泉「コンパイラ」 ^ Oxford Dictionary;compiler: A person who produces a list or book by assembling information or written material collected from other sources. ^ bit 編集部『bit 単語帳』共立出版 、1990年8月15日、82頁。ISBN 4-320-02526-1 。 ^ “CSAIL Publications ”. publications.csail.mit.edu . 2020年6月16日閲覧。 ^ “https://www.246.dk/ ” (デンマーク語). 2020年6月16日閲覧。 ^ 2020年4月13日 8分. “コンパイラとインタプリタの違いは？言語の違いを分かりやすく解説！ ”. じゃぱざむ . 2020年4月27日閲覧。 ^ “インタプリタとコンパイラ ”. nyumon-info.com . 2020年4月27日閲覧。 ^a b Alfred V. Aho, Compilers, Principles, Techniques, and Tools. 1988., pp.10-15. 「1.3（1章3節） THE PHASES OF A COMPILER」 ^ “コンパイラの構造を解説 | Shinta's Site ”. www.gadgety.net . 2020年4月27日閲覧。 ^ “コマンド:lex: UNIX/Linuxの部屋 ”. x68000.q-e-d.net . 2020年4月27日閲覧。 ^ “パーサジェネレータとは - Weblio辞書 ”. www.weblio.jp . 2020年4月27日閲覧。 ^ “コンパイラの入り口、「字句解析」のための文字列操作 (1/3) ”. ＠IT . 2020年4月27日閲覧。 ^a b コンパイラの構成と最適化 ISBN 978-4-254-12177-3 . OCLC 675837876 . https://www.worldcat.org/oclc/675837876 ^ “プリプロセッサとは - IT用語辞典 ”. IT用語辞典 e-Words . 2020年4月27日閲覧。 ^ “抽象構文木 ”. home.a00.itscom.net . 2020年4月27日閲覧。 ^ “VU - exp. - compiler-general ”. www.is.s.u-tokyo.ac.jp . 2020年4月27日閲覧。 ^ MaryCore. “知っておいて損はない「コンパイラ最適化」の数々 ”. MaryCore 言語知能総合研究所 . 2020年4月27日閲覧。 Compiler textbook references コンパイラ構成論の教科書（英語）のリストCompilers: Principles, Techniques and Tools byAlfred V. Aho , Ravi Sethi, and Jeffrey D. Ullman (ISBN 0-201-10088-6 )Advanced Compiler Design and Implementation by Steven Muchnick (ISBN 1-55860-320-4 ). Engineering a Compiler by Keith D. Cooper and Linda Torczon . Morgan Kaufmann 2004,ISBN 1-55860-699-8 .Understanding and Writing Compilers: A Do It Yourself Guide (ISBN 0-333-21732-2 ) by Richard Bornat -構文木 からの機械語 の再帰的生成を説明している貴重な書籍。古いメインフレームやミニコンピュータの経験に基づいており、最近の書籍が見落としがちな部分もカバーしている。著者のサイトにあるPDF版 An Overview of the Production Quality Compiler-Compiler Project by Leverett, Cattel, Hobbs, Newcomer, Reiner, Schatz and Wulf. Computer 13(8):38-49 (August 1980)Compiler Construction byNiklaus Wirth (ISBN 0-201-40353-6 ) Addison-Wesley 1996, 176 pages,PDF版 。再帰下降構文解析 の解説。Oberon-0 という小型の言語のコンパイラを題材にしている。"Programming Language Pragmatics" by Michael Scott (ISBN 0-12-633951-1 ) Morgan Kaufmann 2005, 2nd edition, 912 pages.著者のサイト "A History of Language Processor Technology in IBM" , by F.E. Allen, IBM Journal of Research and Development, v.25, no.5, September 1981.ニクラウス・ヴィルト（著）、滝沢徹（訳）、牧野裕子（訳）：「ヴィルトのコンパイラ構成法」、星雲社、ISBN 4-7952-9706-1 （1997年11月28日）。 中田育男：「コンパイラの構成と最適化」、朝倉書店、ISBN 978-4-254-12177-3 (第2版)(1999年9月15日初版、2009年11月15日第2版)。 A.V.エイホ、M.S.ラム、R.セシィ、J.D.ウルマン、原田賢一（訳）：「コンパイラ[第2版]」、サイエンス社、ISBN 978-4-7819-1229-5 （2009年5月25日第2版、1990年10月10日初版）。 五月女健治：「JavaCC：コンパイラコンパイラ for Java」、テクノプレス、ISBN 4-924998-64-8 （2003年10月20日）。 Andrew W. Appel、神林靖、滝本宗宏（訳）：「最新コンパイラ構成技法」、翔泳社、ISBN 978-4-7981-1468-2 (2009年10月29日)。 中田育男、渡邊担、佐々政宏：「コンパイラの基盤技術と実践」、朝倉書店、ISBN 978-4-254-12173-5 （2008年6月25日）。 柏木餅子、風薬：「きつねさんでもわかるLLVM コンパイラを自作するためのガイドブック」、インプレスジャパン、ISBN 978-4-8443-3415-6 （2013年6月21日）。 中田育男：「コンパイラ 作りながら学ぶ」、オーム社、ISBN 978-4-274-22116-3 （2017年10月25日）。 ウィキブックスに
コンパイラ 関連の解説書・教科書があります。
