 |
| Russian | English |
| контракты на надклассовый тип | class-wide contracts (надклассовый тип является одним из типов данных в языке параллельного программирования Ada 2012; корпорации AdaCore Alex_Odeychuk) |
| контракты на типы данных | type-wide contracts (predicates or invariants; корпорации AdaCore Alex_Odeychuk) |