procedure expression (выражение описания процедуры)

Выражение, чье вычисление представляет собой выполнение процедуры, затрагивающее состояние работающей системы.

Семантика

Выражение для описания процедуры представляет собой код выполняемого алгоритма. Выполнение этого выражения может затрагивать (что чаще всего и случается) состояние системы - иначе говоря, у него есть побочные эффекты. Обычно это выражение не возвращает значение, так как его цель - изменение состояния системы.