連結編集(linkage edit)
(複数の)オブジェクトプログラムは、リンケージエディタ(linkage editor)に よって連結編集され、1つの実行可能なプログラムにまとめられる。 最終的に出来上がったプログラムのことを、実行形式(executable)という。 連結編集のことはリンク(link)ともいい、リンケージエディタのことを リンカ(linker)ということもある。
http://nenya.cis.ibaraki.ac.jp/TIPS/compiler.html

--------------------------------------------------
Note added at 3 hrs (2010-04-20 05:54:38 GMT)
--------------------------------------------------

バインディング

変数の宣言とその利用を対応付けることをbindingと言う。プログラム中で識別子が使われていた時にはまずはその名前を識別する必要がある。名前の識別は(Ｃ言語の場合は全ての変数は事前に宣言するので)どこで宣言されているかを識別する事になる。すなわち bindingのルールとは文字列としての識別子から、対応する宣言を識別し、その宣言から名前としての属性を求める事と言う事になる。基本的な動作は如何にして対応する宣言を見付けるかと言う事になる
Binding規則についてもallocation規則同様にコンパイル時に行う静的結合と実行時に行う動的結合の２種類に分けられる。現在ではほとんどの言語で静的結合が使われている。
http://kaiunix.cs.shinshu-u.ac.jp/Lesson/ProgLangT/2009/bind...