Алгебраическая семантика (информатика)

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

• OBJ (язык программирования)
• Джозеф Гогуэн

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

.