Terms for subject Programming containing strengthening

English	Russian
by strengthening	в силу усиления инварианта типа (IBM; контекстуальный перевод на русс. язык Alex_Odeychuk)
subtyping based on the strengthening of type invariants	создание подтипов на основе усиления инвариантов типов (Alex_Odeychuk)
subtyping with strengthening type invariants	создание подтипов на основе усиления инвариантов типов (Alex_Odeychuk)