A language construct that modifies the state of the system. The most common SIde-effects are asSIgnment, input and output. A language without SIde-effects is purely-functional - execution conSIsts of the evaluation of an expresSIon and all subexpresSIons are {referentially transparent}. (1995-02-16)