Costrutti e linguaggi di programmazione con controllo degli effetti laterali

The paper reviews the main sources of side effects, i.e. globals, static variables, aliasing and sharing, allowed by currently available programming languages, and describes how more recent languages cope with the problem of avoiding or controlling side effects. In particular the most relevant aspects of a language designed by the authors are presented.