Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Algebraic semantics (computer science)
open-in-new
<p>In <a href="/facts/Computer_science/lN3pEyPz">computer science</a>, algebraic semantics is a form of <a href="/facts/Axiomatic_semantics/m7NWmGoV">axiomatic semantics</a> based on <a href="/facts/Algebra/nMdqczjo">algebraic</a> laws for describing and <a href="/facts/Reason/tcBImN8J">reasoning</a> about <a href="/facts/Program_specification/4q2oDkvS">program specifications</a> in a <a href="/facts/Formal_methods/tw4FCWIb">formal</a> manner. </p>