A compileroptimiSation technique where conStant SubexpreSSionS are evaluated at compile time. ThiS iS uSually only applied to built-in numerical and boolean operatorS whereaSpartial evaluation iS more general in that expreSSionS involving uSer-defined functionS may alSo be evaluated at compile time. (1997-02-20)