Cтраница 4
Как мы увидим ниже, в заголовок процедуры обязательно должен входить только идентификатор процедуры, а совокупность формальных параметров, список значений и совокупность спецификаций при определенных условиях могут быть опущены. [46]
В АЛГОЛе-60 описание процедуры состоит из заголовка процедуры и тела процедуры. [47]
Спецификатор STRING или LABEL не-пользуется вне заголовка процедуры. [48]
Определение процедуры в модуле определений содержит просто заголовок процедуры ( см. разд. Заголовок определяет параметры процедуры, а также тип результата для процедур-функций. [49]