Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Algebraic_semantics_(computer_science)> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- Algebraic_semantics_(computer_science) abstract "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.".
- Algebraic_semantics_(computer_science) wikiPageID "35728290".
- Algebraic_semantics_(computer_science) wikiPageLength "910".
- Algebraic_semantics_(computer_science) wikiPageOutDegree "12".
- Algebraic_semantics_(computer_science) wikiPageRevisionID "617168762".
- Algebraic_semantics_(computer_science) wikiPageWikiLink Algebra.
- Algebraic_semantics_(computer_science) wikiPageWikiLink Axiomatic_semantics.
- Algebraic_semantics_(computer_science) wikiPageWikiLink Category:Formal_methods.
- Algebraic_semantics_(computer_science) wikiPageWikiLink Category:Formal_specification_languages.
- Algebraic_semantics_(computer_science) wikiPageWikiLink Category:Logic_in_computer_science.
- Algebraic_semantics_(computer_science) wikiPageWikiLink Category:Programming_language_semantics.
- Algebraic_semantics_(computer_science) wikiPageWikiLink Computer_science.
- Algebraic_semantics_(computer_science) wikiPageWikiLink Formal_methods.
- Algebraic_semantics_(computer_science) wikiPageWikiLink Joseph_Goguen.
- Algebraic_semantics_(computer_science) wikiPageWikiLink OBJ_(programming_language).
- Algebraic_semantics_(computer_science) wikiPageWikiLink Semantics_(computer_science).
- Algebraic_semantics_(computer_science) wikiPageWikiLinkText "Algebraic semantics (computer science)".
- Algebraic_semantics_(computer_science) wikiPageWikiLinkText "Algebraic semantics".
- Algebraic_semantics_(computer_science) wikiPageWikiLinkText "algebraic semantics".
- Algebraic_semantics_(computer_science) wikiPageUsesTemplate Template:Cite_book.
- Algebraic_semantics_(computer_science) wikiPageUsesTemplate Template:Comp-sci-stub.
- Algebraic_semantics_(computer_science) wikiPageUsesTemplate Template:Plt-stub.
- Algebraic_semantics_(computer_science) subject Category:Formal_methods.
- Algebraic_semantics_(computer_science) subject Category:Formal_specification_languages.
- Algebraic_semantics_(computer_science) subject Category:Logic_in_computer_science.
- Algebraic_semantics_(computer_science) subject Category:Programming_language_semantics.
- Algebraic_semantics_(computer_science) hypernym Form.
- Algebraic_semantics_(computer_science) type Area.
- Algebraic_semantics_(computer_science) type Language.
- Algebraic_semantics_(computer_science) type Area.
- Algebraic_semantics_(computer_science) type Language.
- Algebraic_semantics_(computer_science) type Method.
- Algebraic_semantics_(computer_science) comment "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.".
- Algebraic_semantics_(computer_science) label "Algebraic semantics (computer science)".
- Algebraic_semantics_(computer_science) sameAs Q4724011.
- Algebraic_semantics_(computer_science) sameAs m.0kbgbs0.
- Algebraic_semantics_(computer_science) sameAs Q4724011.
- Algebraic_semantics_(computer_science) wasDerivedFrom Algebraic_semantics_(computer_science)?oldid=617168762.
- Algebraic_semantics_(computer_science) isPrimaryTopicOf Algebraic_semantics_(computer_science).