compiler which attempts to analyse the code it produces and to produce more efficient code by performing program transformation such as {branch elimination}, {partial evaluation}, or {peep-hole optimisation}.Contrast pessimising compiler.(1995-02-01)