bn:02917874n
Noun Concept
PT
Algebraic semantics
EN
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 manner. Wikipedia
English:
computer science
Relations
Sources