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.

Property Value
dbo:abstract
  • 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. (fr)
  • 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. (fr)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 10200299 (xsd:integer)
dbo:wikiPageLength
  • 1237 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 178999178 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1995 (xsd:integer)
  • 1996 (xsd:integer)
prop-fr:art
  • Algebraic semantic (fr)
  • Algebraic semantic (fr)
prop-fr:auteur
prop-fr:isbn
  • 978 (xsd:integer)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:lireEnLigne
prop-fr:pagesTotales
  • 228 (xsd:integer)
  • 506 (xsd:integer)
prop-fr:sousTitre
  • Semantic structures (fr)
  • Semantic structures (fr)
prop-fr:titre
  • Handbook of Logic in Computer Science (fr)
  • Algebraic semantics of imperative programs (fr)
  • Handbook of Logic in Computer Science (fr)
  • Algebraic semantics of imperative programs (fr)
prop-fr:titreChapitre
  • Algebraic Semantic (fr)
  • Algebraic Semantic (fr)
prop-fr:volume
  • 3 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
dct:subject
rdf:type
rdfs:comment
  • 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. (fr)
  • 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. (fr)
rdfs:label
  • Sémantique algébrique (informatique) (fr)
  • Sémantique algébrique (informatique) (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of