Programming language semantics

Вики

Оператор J

J оператор Определение и использование оператора J Оператор J в информатике создает функцию с продолжением в текущем лямбда-контексте.  Функция, созданная […]

Вики

Алгебраическая семантика (информатика)

Алгебраическая семантика (информатика) Основы алгебраической семантики Алгебраическая семантика — форма аксиоматической семантики в информатике.  Синтаксис алгебраической спецификации состоит из определения

Вики

Семантика действий

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

Вики

Операционная семантика

Операционная семантика Определение и история операционной семантики Операционная семантика описывает, как программы интерпретируются и выполняются.  Основана на работах Алонзо Чёрча

Вики

Денотационная семантика

Денотативная семантика Основы денотационной семантики Денотационная семантика — это математическая теория, описывающая смысл программ.  Она отличается от операционной семантики, которая

Вики

Семантика (информатика)

Семантика (информатика) Семантика в теории языков программирования является строгим математическим исследованием значений языков программирования.  Семантика тесно связана с семантикой математических

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