Категория : Анализ программ

С

• Оптимизация компилятора ‎ ( 65 с.)
• Анализ потока управления ‎ ( 6 П)

Д

• Анализ потока данных ‎ ( 8 П)
• Динамический анализ программы ‎ ( 2 Б)

я

• Инкрементные вычисления ‎ ( 1 C, 4 P)

С

• Метрики программного обеспечения ‎ ( 48 П)
• Статический программный анализ ‎ ( 3 C, 19 P)

• Анализ программы

А

• Абстрактная интерпретация
• Псевдонимы (вычисления)

С

• Компилятор-компилятор

Д

• Динамический анализ программы

И

• Система эффектов

Ф

• Чувствительная к потоку типизация

ЧАС

• Гиперсобственность

К

• Анализ кода на основе KPI

П

• Путь взрыва
• Perl::Критик
• Поливариантность
• Нарезка программы

Р

• Достижение определения

С

• Разработка программного обеспечения на основе поиска
• Семантический анализ (составители)
• Статический анализ программы
• Символическое исполнение

Т

• Типовая система
• Анализ состояния типов
• Среда ввода
• Правило ввода