Anglais ⇄ Russe +

procedure handler contraintes
progr.	обработчик в виде процедуры (говоря об обработчике прерываний в виде процедуры защищённого объекта в языке программирования Ada Alex_Odeychuk)