Limbajul permite şi specificarea explicită a interfeţei între funcţie / procedură şi programul / subprogramul care o apelează.
O listă de identificatori locali ai funcţiei / procedurii specificaţi în antetul
acesteia drept parametri formali este pusă în corespondenţă biunivocă cu o listă
de parametri actuali specificată în apel. Corespondenţa se realizează între
parametrii din aceeaşi poziţie în cele două liste, cei actuali avînd tipuri identice cu
cei formali corespunzători. .
La execuţia apelului valorile parametrilor actuali sînt substituite parametrilor formali astfel că acţiunile instrucţiunilor funcţiei / procedurii au loc asupra acestor valori, cu efecte la locul de chemare.
Există patru feluri de parametri formali:
- parametri valoare
- parametri variabilă
- parametri funcţie
- parametri procedură.
