Формальные и фактические. Параметр от греч. отмеряющий в программировании - аргумент или результат алгоритма процедуры, указываемый в его заголовке.
Имя обозначающее параметр называется формальным параметром. В общем случае запись алгоритма, содержащего формальный параметр, является своего рода заготовкой, преобретающей законченный или подлежащий исполнению вид после текстуальной подстановки на место фактического параметра величины, выражения или какой-либо другой конструкции языка. Фактический параметр указывается в команде вызова или задатся поручителем перед исполнением алгоритма. Если формальный параметр является по смыслу величиной, то его замена на фактический может выполнятся не текстовой подстановкой, а путм вызова по значению.
В этом случае формальный параметр трактуеся как переменная величина алгоритма. Если формальный параметр является аргументом, то ему присваивается текущее значение соответствующего фактического в качестве начального значения перед началом исполнения алгоритма. Если формальный параметр является результатом, то по завершении исполнения алгоритма получившееся значение параметра присвивается соответствующему фактическому параметру.