Program analysis

Вики

Типизация с учетом потока

/

Набор текста с учетом скорости потока Основы потоковой типизации Потоковая типизация — это система типов, где тип выражения зависит от […]

Вики

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

/

Анализ программы Основы анализа программ Анализ программ включает проверку корректности, безопасности и эффективности.  Проверка корректности включает проверку соответствия программы спецификации

Вики

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

/

Статический программный анализ Основы статического анализа Статический анализ — это анализ программ без их выполнения, в отличие от динамического анализа. 

Вики

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

/

Система воздействия Основы системы эффектов Система эффектов описывает вычислительные эффекты программ, включая побочные эффекты.  Используется для проверки эффектов во время

Вики

Система типов

/

Система типов Основы типов данных Типы данных определяют допустимые значения и операции для переменных.  Типы данных могут быть статическими или

Вики

Символическая казнь

/

Символическое исполнение Основы символического исполнения Символическое исполнение позволяет анализировать программы, не запуская их.  Используется для поиска ошибок и оптимизации кода. 

Вики

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

/

Компилятор-составитель Обзор метакомпиляторов Шорре Метакомпиляторы Шорре — это функциональные языки программирования, использующие синтаксические уравнения для анализа грамматики.  Синтаксическое уравнение —

Вики

Абстрактная интерпретация

/

Абстрактная интерпретация Абстрактная интерпретация — теория аппроксимации семантики компьютерных программ.  Абстрактная интерпретация используется для формального статического анализа и извлечения информации

Прокрутить вверх