Terms containing value parameters

Subject	English	Russian
progr.	allowing value parameters in the postcondition	допуск входных параметров в постусловие (ssn)
progr.	there are four kinds of parameters: value parameters, reference parameters, output parameters, and parameter arrays	есть четыре вида параметров: параметры-значения, параметры-ссылки, выходные параметры и параметры-массивы