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)