English Algebraic semantics (computer science) Cited by user Laiwoonsiu on 06 Dec 2021 In computer science, algebraic semantics is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program specifications in a formal…