英语 ⇄ 俄语 +

class-wide contracts 强调
编程	контракты на надклассовый тип (надклассовый тип является одним из типов данных в языке параллельного программирования Ada 2012; корпорации AdaCore Alex_Odeychuk)