Algebraic semantics (computer science)
http://dbpedia.org/resource/Algebraic_semantics_(computer_science) an entity of type: Ability105616246
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.
rdf:langString
En informatique, la sémantique algébrique est une forme de sémantique axiomatique basée sur des principes algébriques pour décrire et raisonner sur la sémantique des langages de programmation de manière formelle.
rdf:langString
Алгебраїчна семантика (англ. algebraic semantics) - це форма аксіоматичної семантики на основі законів алгебри, що використовується для формального опису та аналізу семантики програм.
rdf:langString
rdf:langString
Algebraic semantics (computer science)
rdf:langString
Sémantique algébrique (informatique)
rdf:langString
Алгебраїчна семантика
xsd:integer
35728290
xsd:integer
1112257674
rdf:langString
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.
rdf:langString
En informatique, la sémantique algébrique est une forme de sémantique axiomatique basée sur des principes algébriques pour décrire et raisonner sur la sémantique des langages de programmation de manière formelle.
rdf:langString
Алгебраїчна семантика (англ. algebraic semantics) - це форма аксіоматичної семантики на основі законів алгебри, що використовується для формального опису та аналізу семантики програм.
xsd:nonNegativeInteger
10221