| English | Russian |
| additional dynamic checking | дополнительная динамическая проверка (корпорации AdaCore Alex_Odeychuk) |
| dynamic type checking | динамический контроль типов (ssn) |
| dynamic type checking | динамическая проверка соответствия типов (проверка, выполняемая при интерпретации программы, определяющая допустимость заданных типов данных в операторах программы ssn) |
| dynamic type checking | динамическая проверка типов (ssn) |