Спецификации, включаемые в заголовок процедуры, отчасти способствуют формулировке этих ограничений на фактические параметры. В спецификациях указывается класс величин *), представленных формальными параметрами в теле процедуры, и тип их значений, если эти величины могут обладать значениями. Совокупность спецификаций состоит из одной или нескольких спецификаций, выписанных подряд. Каждая спецификация состоит из спецификатора, списка идентификаторов из числа формальных параметров данной процедуры и точки с запятой.
Возможны следующие спецификаторы:
integer real Boolean integer array
real array (или просто array)
Boolean array
label (label — метка)
procedure
Integer procedure
real procedure
Boolean procedure
switch (switch — переключатель)
string (string — строка)
Однако из этих спецификаторов только первые три, да и то лишь для формальных параметров, включенных в список значений, полностью определяют ограничения на соответствующие фактические параметры, В остальных случаях спецификации дают гораздо меньше информации о формальных параметрах, чем, скажем, описания массивов или процедур. Поэтому программист, включая обращение к некоторой процедуре (а следовательно, и описание этой процедуры) в свою программу, должен хорошо разобраться в работе этой процедуры и в требованиях, которые она предъявляет к фактическим параметрам. При этом условии в программе можно использовать процедуры, составленные другими программистами для других задач. Эта возможность — одна из наиболее привлекательных черт аппарата процедур.
Оператор процедуры, с помощью которого производится обращение к процедуре, состоит из идентификатора этой процедуры и списка фактических параметров, заключенного в круглые скобки. Однако, если в описании процедуры нет формальных параметров, то оператор процедуры состоит из одного лишь идентификатора процедуры.
Фактические параметры — это выражения или идентификаторы. Их число должно совпадать с числом формальных параметров в описании процедуры. Это дает возможность установить взаимно однозначное соответствие между фактическими и формальными параметрами по их номерам в списках.