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