Категория:Анализ программ
Перейти к навигации
Перейти к поиску
- Анализ программ
- Абстрактная интерпретация
- Сглаживание (вычисление)
- Компилятор-компилятор
- Динамический анализ программ
- Система эффектов
- Потокочувствительная типизация
- Анализ кода на основе KPI
- Perl:: Критик
- Поливариантность
- Нарезка программ
- Достижение определения
- Поисковая программная инженерия
- Семантический анализ (компиляторы)
- Статическое тестирование безопасности приложений
- Статический анализ программ
- Алгоритм стинсгаарда
- Правило типа
- Система типов
- Анализ типов данных
- Среда набора текста
- Use-define chain
[[Категория:Формальный метод
Подкатегории
Эта категория содержит только следующую подкатегорию.
А
- Анализ потока управления (2 С)
Страницы в категории «Анализ программ»
Показаны 2 страницы из 2, находящихся в данной категории.