Terms containing type-checking

Subject	English	Russian
progr.	algorithm for type checking	алгоритм проверки типа (см. ISO/IEC 10746-3, ГОСТ Р ИСО/МЭК 10746-3-2001 ssn)
progr.	be used for type-checking	использоваться для проверки соответствия типов (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.	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)
IT	static type checking	статическая проверка типов
progr.	static type checking	статическая проверка типов (проверка типов, производимая во время компиляции программы, не во время её исполнения)
progr.	static type checking	статическая проверка соответствия типов (ssn)
progr.	static type checking	статическая типизация (ssn)
progr.	static type-checking	статический контроль типов (ssn)
progr.	static type-checking	статическая типизация (ssn)
comp.	strict type checking	строгий контроль типов
progr.	type checking	проверка типа (система типов)
progr.	type checking	проверка соответствия типов (проверка, выполняемая при компиляции или интерпретации программы, определяющая допустимость заданных типов данных в операторах программы ssn)
oil	type checking	контроль соответствия типов
IT	type checking	проверка типов
comp.	type checking	контроль типов
media.	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)
IT	type-checking	контроль типов
progr.	type-checking	контроль соответствия типов (ssn)
progr.	type-checking for enum constants	проверка типа перечислимых констант (Alex_Odeychuk)