семантика действий. Справочник технического переводчика. Интент.

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

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