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