Algebraic semantics (computer science)
In computer science, algebraic semantics is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program semantics in a formal manner.
known for
Wikipage disambiguates
primaryTopic
Algebraic semantics (computer science)
In computer science, algebraic semantics is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program semantics in a formal manner.
has abstract
En informatique, la sémantique ...... rammation de manière formelle.
@fr
In computer science, algebraic ...... semantics in a formal manner.
@en
Wikipage page ID
35,728,290
Wikipage revision ID
724,373,770
subject
hypernym
comment
En informatique, la sémantique ...... rammation de manière formelle.
@fr
In computer science, algebraic ...... semantics in a formal manner.
@en
label
Algebraic semantics (computer science)
@en
Sémantique algébrique (informatique)
@fr