Анализ смысла программы и её компонентов, проверка соответствия типов данных и операций логике языка.
Статей пока нет. Будьте первым!