English Algebraic semantics (computer science) Cited by user Laiwoonsiu on 06 Mar 2022 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…