ПАРАМЕТР ФОРМАЛЬНЫЙ

— параметр, используемый при описании процедуры (подпрограммы, функции). П. ф. представляет собой идентификатор или спец. символ языка программирования. В описании процедуры могут быть указаны некоторые характеристики ее параметров (типы и классы величин, способ использования параметров фактических). Тело процедуры задает совокупность действий над параметрами. При выполнении процедуры вместо П. ф. подставляют соответствующий фактический параметр или его значение. Тип, количество и порядок следования П. ф. и фактических параметров обычно должны соответствовать друг другу. а. И: Халилов.