type invariant
| checking rules
| type invariant abbr. | |
| progr. | инвариант типа |
| checking rule abbr. | |
| SAP.tech. | правило проверки |
| |||
| инвариант типа (an invariant is an assertion that is expected to be true for all objects of a given type when viewed from outside the package defining the type; корпорации AdaCore Alex_Odeychuk) | |||
|
type invariant : 8 phrases in 2 subjects |
| Physics | 1 |
| Programming | 7 |