takich którym nie przypisano jeszcze konkretnej, sensownej wartości.

Wywołanie podprogramu

Przy wywołaniu podprogramu, a więc w instrukcji wywołania, lub przy wywołaniu funkcji w wyrażeniu w podprogramach w których występują parametry formalne, przed wykonaniem instrukcji zawartych w ciele podprogramu, następuje przypisanie do tych paramentów nowych wartości równych wartościom argumentów, wyspecyfikowanych w wywołaniu podprogramu. Sposób przypisania zależny jest od przyjętych metod kojarzenia argumentów z parametrami.

Efekty uboczne Ten rodzaj przypisania występuje np. w podprogramie, w którym następuje przypisanie wartości do zmiennej globalnej. Wykorzystywanie efektów ubocznych jest krytykowane w literaturze przedmiotu jako prowadzące do błędów. W kodzie źródłowym bowiem takie przypisanie jest niewidoczne. Wymaga więc odwołania się do kodu podprogramu, który może być niedostępny (np. podprogramy biblioteczne).

Przypisanie do innej l-wartości Takie przypisanie następuje: w uniach, w rekordach z wariantami do pól wariantowych, w zmiennych nakładanych (np.