| Subject | English | Russian |
| progr. | class-wide precondition | предусловие надклассового типа (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| progr. | class-wide precondition check | проверка предусловия надклассового типа (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| progr. | class-wide precondition expression | выражение-предусловие для надклассового типа (корпорации AdaCore Alex_Odeychuk) |