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 iSpurely-functional - execution conSiStS of the evaluation of an expreSSion and all SubexpreSSionS are {referentially tranSparent}. (1995-02-16)