Un paramètre formel est initialisé à l'appel de la fonction avec la valeur du paramètre effectif correspondant.

La valeur du paramètre effectif est copiée dans la pile à l'emplacement réservé au paramètre formel. La fonction vient chercher cette valeur en pile quand elle en a besoin.