<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)