Оператор J
J оператор Определение и использование оператора J Оператор J в информатике создает функцию с продолжением в текущем лямбда-контексте. Функция, созданная […]
Вики
Programming language semantics
Вики
Алгебраическая семантика (информатика)
Алгебраическая семантика (информатика) Основы алгебраической семантики Алгебраическая семантика — форма аксиоматической семантики в информатике. Синтаксис алгебраической спецификации состоит из определения
Вики
Семантика действий
Семантика действия Основы семантики действий Семантика действий — это формальная спецификация семантики языков программирования. Она сочетает в себе денотационную, операционную
Вики
Операционная семантика
Операционная семантика Определение и история операционной семантики Операционная семантика описывает, как программы интерпретируются и выполняются. Основана на работах Алонзо Чёрча
Вики
Денотационная семантика
Денотативная семантика Основы денотационной семантики Денотационная семантика — это математическая теория, описывающая смысл программ. Она отличается от операционной семантики, которая
Вики
Семантика (информатика)
Семантика (информатика) Семантика в теории языков программирования является строгим математическим исследованием значений языков программирования. Семантика тесно связана с семантикой математических