Terms for subject Programming containing function postcondition

English	Russian
function postcondition	постусловие функции (специальное условие, которые проверяется при выходе из функции Alex_Odeychuk)
function preconditions and postconditions	предусловия и постусловия функции (Alex_Odeychuk)