Matches in DBpedia 2015-04 for { <http://dbpedia.org/resource/Algebraic_semantics_(computer_science)> ?p ?o }
Showing triples 1 to 15 of
15
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) wikiPageRevisionID "617168762".
- Algebraic_semantics_(computer_science) hasPhotoCollection Algebraic_semantics_(computer_science).
- 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) 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 m.0kbgbs0.
- Algebraic_semantics_(computer_science) sameAs Q4724011.
- 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).