Алгебраическая семантика (информатика) - Algebraic semantics (computer science)

В Информатика, алгебраическая семантика это форма аксиоматическая семантика на основе алгебраический законы для описания и рассуждения о семантика программы в формальный манера.

Смотрите также

Эрик Г. Вагнер (1995). «Алгебраическая семантика». У Самсона Абрамского; Дов М. Габбай; Томас С. Э. Майбаум (ред.). Справочник по логике в информатике: семантические структуры. 3. Кларендон Пресс. ISBN 9780198537625.
Джозеф Гогуэн; Грант Малкольм (1996). Алгебраическая семантика императивных программ. MIT Press. ISBN 9780262071727.

Этот Информатика статья - это заглушка. Вы можете помочь Википедии расширяя это.

{ displaystyle Gamma vdash x: { text {Int}}}

Этот теория языков программирования или же теория типов -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.