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