A compileroptimisation technique where constant subexpressions are eVALuated at compile time. This is usually only applied to built-in numerical and boolean operators whereas partial eVALuation is more general in that expressions involving user-defined functions may also be eVALuated at compile time. (1997-02-20)