| Subject | English | Russian |
| progr. | A good compiler should be able to produce code with checks, should avoid redundant checks, and should allow programmers to control the extent and type of error checking in the compiled code | Хороший компилятор должен уметь порождать код с проверками, избегать лишних проверок и позволять программистам управлять количеством и видами проверок на ошибки в скомпилированном коде (ssn) |
| progr. | algorithm for type checking | алгоритм проверки типа (см. ISO/IEC 10746-3, ГОСТ Р ИСО/МЭК 10746-3-2001 ssn) |
| progr. | be used for type-checking | использоваться для проверки соответствия типов (Alex_Odeychuk) |
| progr. | check the type of an object | проверить тип объекта (Alex_Odeychuk) |
| progr. | checking type instead of interface | проверка типа вместо интерфейса (антишаблон проектирования: проверка того, что объект имеет специфический тип в то время, когда требуется только определённый интерфейс Alex_Odeychuk) |
| progr. | checking type instead of membership | проверка типа вместо интерфейса (проверка того, что объект имеет специфический тип в то время, когда требуется только определённый интерфейс Alex_Odeychuk) |
| progr. | compile-time type checking | проверка типов во время компиляции (Alex_Odeychuk) |
| progr. | dynamic type checking | динамический контроль типов (ssn) |
| progr. | dynamic type checking | динамическая проверка соответствия типов (проверка, выполняемая при интерпретации программы, определяющая допустимость заданных типов данных в операторах программы ssn) |
| progr. | dynamic type checking | динамическая проверка типов (ssn) |
| progr. | extent and type of error checking | количество и виды проверок на ошибки (в скомпилированном коде ssn) |
| progr. | extent and type of error checking in the compiled code | количество и виды проверок на ошибки в скомпилированном коде (ssn) |
| progr. | link-time type checking | проверка типов во время компоновки (Alex_Odeychuk) |
| ed. | overview of type-checking | обзор проверки типов (ssn) |
| progr. | rules for type checking | правила проверки типов (ssn) |
| progr. | runtime type checking | проверка соответствия типов во время выполнения (oracle.com Alex_Odeychuk) |
| progr. | static type checking | статическая проверка соответствия типов (ssn) |
| progr. | static type checking | статический контроль типов (ssn) |
| IT | static type checking | статическая проверка типов |
| progr. | static type checking | статическая проверка типов (проверка типов, производимая во время компиляции программы, не во время её исполнения) |
| progr. | static type checking | статическая типизация (ssn) |
| progr. | static type-checking | статический контроль типов (ssn) |
| progr. | static type-checking | статическая типизация (ssn) |
| comp. | strict type checking | строгий контроль типов |
| progr. | type checking | проверка соответствия типов (проверка, выполняемая при компиляции или интерпретации программы, определяющая допустимость заданных типов данных в операторах программы ssn) |
| progr. | type checking | проверка типа (система типов) |
| media. | type checking | проверка типа (на правильность типов данных, употреблённых в программе) |
| comp. | type checking | контроль типов |
| IT | type checking | проверка типов |
| oil | type checking | контроль соответствия типов |
| progr. | type checking | типизация (ssn) |
| progr. | type checking analysis | проверка соответствия типов (Alex_Odeychuk) |
| progr. | type checking and polymorphism | проверка типов и полиморфизм (ssn) |
| progr. | type checking and separate compilation | проверка типа и раздельная компиляция (ssn) |
| progr. | type checking parameters | проверка типов параметров (ssn) |
| progr. | type invariant checking rules | правила проверки инварианта типа (Alex_Odeychuk) |
| IT | type-checking | контроль типов |
| progr. | type-checking | контроль соответствия типов (ssn) |
| progr. | type-checking for enum constants | проверка типа перечислимых констант (Alex_Odeychuk) |