La déclaration sera :
procedure second_degre(A,B,C:integer);
Un paramètre est spécifié par un identificateur et par une déclaration de type. On peut grouper plusieurs paramètres de même type en les séparant par des virgules
A l'appel, on écrira
second_degre (M, N, P); { appel avec les valeurs de M, N et P }
second_degre (R, S, T); { appel avec les valeurs de R, S et T }
Lors de l'appel de la procédure, il y a remplacement de chaque paramètre formel par un paramètre effectif, bien spécifié.
Ainsi, au premier appel, A prendra la valeur de M, B celle de N et C celle de P. Au second appel : A prendra la valeur de R, B celle de S et C celle de T.
Attention à la compatibilité des types !
Cette transmission d'information est équivalente à une affectation de valeurs dans des sortes de variables locales, qui sont en fait représentées par les paramètres (ou arguments) de la procédure.