Система типов
Type system Типы систем в программировании Типы систем определяют свойства, называемые типами, для каждого термина в программе. Типы систем формализуют […]
Вики
Program analysis
Вики
Система типов
Система типов Системы типов в программировании Системы типов присваивают свойства (типы) языковым конструкциям. Типы определяют операции, которые можно выполнять с
Вики
Типизация с учетом потока
Набор текста с учетом скорости потока Основы потоковой типизации Потоковая типизация — это система типов, где тип выражения зависит от
Вики
Анализ программы
Анализ программы Основы анализа программ Анализ программ включает проверку корректности, безопасности и эффективности. Проверка корректности включает проверку соответствия программы спецификации
Вики
Статический анализ программы
Статический программный анализ Основы статического анализа Статический анализ — это анализ программ без их выполнения, в отличие от динамического анализа.
Вики
Система эффектов
Система воздействия Основы системы эффектов Система эффектов описывает вычислительные эффекты программ, включая побочные эффекты. Используется для проверки эффектов во время
Вики
Разработка программного обеспечения на основе поиска
Разработка программного обеспечения на основе поиска Основы SBSE SBSE использует метаэвристические методы для оптимизации разработки ПО. Задачи SBSE включают оптимизацию
Вики
Система типов
Система типов Основы типов данных Типы данных определяют допустимые значения и операции для переменных. Типы данных могут быть статическими или
Вики
Символическая казнь
Символическое исполнение Основы символического исполнения Символическое исполнение позволяет анализировать программы, не запуская их. Используется для поиска ошибок и оптимизации кода.
Вики
Компилятор-компилятор
Компилятор-составитель Обзор метакомпиляторов Шорре Метакомпиляторы Шорре — это функциональные языки программирования, использующие синтаксические уравнения для анализа грамматики. Синтаксическое уравнение —
Вики
Абстрактная интерпретация
Абстрактная интерпретация Абстрактная интерпретация — теория аппроксимации семантики компьютерных программ. Абстрактная интерпретация используется для формального статического анализа и извлечения информации