binding-time analysis


binding-time analysis

(compiler)An analysis to identify sub-expressions which canbe evaluated at compile-time or where versions of a functioncan be generated and called which are specialised to certainvalues of one or more arguments.

See partial evaluation.