About: Algebraic semantics (computer science)

Property	Value
dbo:description	Programmiersprache (de) langage de programmation (fr) linguagem de programação (pt) linguaggio di programmazione (it) programmeertaal (nl) programmeringssprog (da) język programowania (pl) lenguaje de programación (es) limbaj de programare (ro) llenguatge de programació (ca) ohjelmointikieli (fi) programmeringsspråk (nn) programovací jazyk (cs) programovací jazyk (sk) programspråk (sv) yezh programmiñ (br) שפת תכנות (iw) प्रोग्रामिंग भाषा (hi) ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ (pa) പ്രോഗ്രാമിങ് ഭാഷ (ml) form of axiomatic semantics (en)
dbo:wikiPageWikiLink	dbr:Family_of_sets dbr:Axiomatic_semantics dbr:Musical_notation dbr:Class_(set_theory) dbr:Object_(computer_science) dbr:Algebra dbr:Object-oriented_programming dbr:Syntax_(programming_languages) dbr:Mathematical_object dbr:Variable_(computer_science) dbr:Signature_(logic) dbr:Formal_methods dbr:Many-sorted_logic dbc:Formal_methods dbr:Function_(mathematics) dbr:Integer dbr:Set_(mathematics) dbr:Secondary_source dbr:Ground_expression dbr:OBJ_(programming_language) dbc:Logic_in_computer_science dbr:Canonical_form dbr:Uniqueness_quantification dbr:Normal_form_(abstract_rewriting) dbr:Operation_(mathematics) dbr:Initial_algebra dbr:Empty_string dbc:Programming_language_semantics dbr:Denotational_semantics dbr:Behavior dbr:Equation dbr:Isomorphism dbr:Data_type dbr:Reason dbr:Stack_(abstract_data_type) dbr:Axiom dbr:Computer_science dbr:Semantics_(computer_science) dbr:Symbol dbr:Software_testing dbr:Operational_semantics dbr:Material_conditional dbc:Formal_specification_languages dbr:Key_signature dbr:Universal_algebra dbr:Divergence_(computer_science) dbr:Algebraic_expression dbr:Algebraic_semantics_(mathematical_logic) dbr:Algebraic_specification dbr:Joseph_Goguen dbr:Meaning_(linguistics) dbr:Observational_equivalence dbr:Mathematical_semantics dbr:Terminating dbr:Confluent_(abstract_rewriting) dbr:Church-Rosser dbr:Rewrite_rule dbr:Program_specification
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Semantics
dct:subject	dbc:Formal_methods dbc:Logic_in_computer_science dbc:Programming_language_semantics dbc:Formal_specification_languages
gold:hypernym	dbr:Form
rdfs:label	Algebraic semantics (computer science) (en) Sémantique algébrique (informatique) (fr) Алгебраїчна семантика (uk)
owl:sameAs	yago-res:Algebraic semantics (computer science) freebase:Algebraic semantics (computer science) wikidata:Algebraic semantics (computer science) dbpedia-fr:Algebraic semantics (computer science) dbpedia-uk:Algebraic semantics (computer science) dbpedia-global:Algebraic semantics (computer science) dbr:Algebraic semantics (computer science)
prov:wasDerivedFrom	wikipedia-en:Algebraic_semantics_(computer_science)?oldid=1296398646&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Algebraic_semantics_(computer_science)
is dbo:knownFor of	dbr:Joseph_Goguen
is dbo:wikiPageDisambiguates of	dbr:Algebraic_semantics
is dbo:wikiPageWikiLink of	dbr:Axiomatic_semantics dbr:Communicating_sequential_processes dbr:Peter_Mosses dbr:Action_semantics dbr:David_Watt_(computer_scientist) dbr:Semantics_(computer_science) dbr:Unifying_Theories_of_Programming dbr:Operational_semantics dbr:Algebraic_semantics dbr:Algebraic_semantics_(mathematical_logic) dbr:Joseph_Goguen
is dbp:knownFor of	dbr:Joseph_Goguen
is foaf:primaryTopic of	wikipedia-en:Algebraic_semantics_(computer_science)