Полный англо-русский словарь
Типовая безопасность (обеспечивается наличием контроля типов (type checking), а также корректным использованием шаблонных классов (template class))