| Subject | English | Russian |
| softw. | from a static verification point of view | с точки зрения статической верификации (each type is associated with a representation and a semantic interpretation. Two types with similar representations but different semantics will still be considered different by the compiler. The developer is responsible for deciding where and how type conversion should be made; корпорации AdaCore Alex_Odeychuk) |
| progr. | static verification of programs | статическая верификация программ (Microsoft Alex_Odeychuk) |