binding-time analysis

from The Free On-line Dictionary of Computing (8 July 2008)

binding-time analysis

   <compiler> An analysis to identify sub-expressions which can
   be evaluated at {compile-time} or where versions of a function
   can be generated and called which are specialised to certain
   values of one or more arguments.

   See {partial evaluation}.

   (1995-03-28)