部分評価
p r o g ∗ {\displaystyle {\mathit {prog}}^{*}} は「残余プログラム (residual program)」と呼ばれ、本来のプログラムよりも効率化されていると期待できる。すなわち、部分評価とは、 p r o g {\displaystyle {\mathit {prog}}} から p r o g ∗ {\displaystyle {\mathit {prog}}^{*}} への「残余化 (residualize)」と言うことができる。
p r o g ∗ {\displaystyle {\mathit {prog}}^{*}} は p r o g {\displaystyle {\mathit {prog}}} の I s t a t i c {\displaystyle I_{\mathit {static}}} における射影である、とも言う。