Cтраница 3
Последнее состоит из заголовка процедуры и тела процедуры, которое является оператором. В заголовке содержатся перечень формальных параметров процедуры и так называемый список значений, в котором повторены некоторые из формальных параметров. Тем формальным параметрам процедуры, которые указаны в списке значений, производится присваивание значений фактических параметров, из числа указанных в операторе процедуры. Остальные формальные параметры процедуры заменяются в теле процедуры отвечающими им фактическими параметрами. Соответствие между формальными параметрами процедуры и фактическими параметрами, указанными в операторе процедуры, получается путем сопоставления в одном и том же порядке элементов перечня фактических параметров и перечня формальных параметров. Преобразованное описанным способом тело процедуры выполняется, чем и завершается выполнение оператора процедуры. Таким образом, оператор процедуры осуществляет преобразование тела процедуры и выполнение его. [31]