中間言語

処理の手順を逐次的に記述するプログラミング言語の分類。命令の実行順序に従ってプログラムが動作する。C言語、COBOL、Fortranなどが代表的。

数学的な関数の適用と合成を基本とするプログラミング言語の分類。副作用を避け、参照透過性を重視する。Haskell、Lispなどが代表的で、並行処理との親和性が高い。

データとそれに対する操作をオブジェクトとしてまとめ、カプセル化・継承・ポリモーフィズムの概念を持つプログラミング言語の分類。Java、C++、Pythonなどが代表的。

事実と規則を述語論理の形で記述し、処理系が推論して答えを導くプログラム言語。Prologが代表例。手順を書く手続型言語と違い「何が成り立つか」を書く点が特徴で、人工知能の研究で使われた。

原始プログラム（ソースプログラム）をコンパイルして生成される機械語のプログラム。オブジェクトプログラムともいう。単独では実行できず、リンカが複数の目的プログラムやライブラリを結合して実行可能形式にする。

単語の並びが文法規則に合っているかを調べ、文の構造を木の形に組み立てる処理。自然言語処理では形態素解析の次の段階にあたり、コンパイラでは字句解析の次の段階として構文木を作る。