Русский | English   поискrss RSS-лента

Главная  → ИТ энциклопедия  → По алфивиту  → A  → ИТ энциклопедия

ИТ энциклопедия

action semantics

(AS)
  1. семантика действий

#

сочетает в себе свойства денотационной (denotational semantics), операционной (operational semantics) и алгебраической (algebraic semantics) семантик; в этой семантике программные операторы называются действиями (action) и комбинаторами действий (action combinator). Метод специфицирования программ, более простой в применении, чем другие формальные методы; его можно рассматривать в терминах функционального поведения (operational behavior) без ущерба для математической строгости. Разработчик – Peter D. Mosses, известный специалист в области формальной семантики программ

Связные термины

action, ASL [3], semantics

Возврат к списку

Проект Эдуарда Пройдакова
© Совет Виртуального компьютерного музея, 1997 — 2020