Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Axiomatic_semantics> ?p ?o }
Showing triples 1 to 48 of
48
with 100 triples per page.
- Axiomatic_semantics abstract "Axiomatic semantics is an approach based on mathematical logic to proving the correctness of computer programs. It is closely related to Hoare logic.Axiomatic semantics define the meaning of a command in a program by describing its effect on assertions about the program state. The assertions are logical statements - predicates with variables, where the variables define the state of the program.".
- Axiomatic_semantics wikiPageID "518199".
- Axiomatic_semantics wikiPageLength "1147".
- Axiomatic_semantics wikiPageOutDegree "14".
- Axiomatic_semantics wikiPageRevisionID "665963150".
- Axiomatic_semantics wikiPageWikiLink Algebraic_semantics_(computer_science).
- Axiomatic_semantics wikiPageWikiLink Assertion_(software_development).
- Axiomatic_semantics wikiPageWikiLink Category:Formal_specification_languages.
- Axiomatic_semantics wikiPageWikiLink Category:Logic_in_computer_science.
- Axiomatic_semantics wikiPageWikiLink Category:Programming_language_semantics.
- Axiomatic_semantics wikiPageWikiLink Correctness_(computer_science).
- Axiomatic_semantics wikiPageWikiLink Denotational_semantics.
- Axiomatic_semantics wikiPageWikiLink Hoare_logic.
- Axiomatic_semantics wikiPageWikiLink Mathematical_logic.
- Axiomatic_semantics wikiPageWikiLink Operational_semantics.
- Axiomatic_semantics wikiPageWikiLink Postcondition.
- Axiomatic_semantics wikiPageWikiLink Precondition.
- Axiomatic_semantics wikiPageWikiLink Predicate_transformer_semantics.
- Axiomatic_semantics wikiPageWikiLink Semantics_(computer_science).
- Axiomatic_semantics wikiPageWikiLinkText "Axiomatic semantics".
- Axiomatic_semantics wikiPageWikiLinkText "axiomatic semantics".
- Axiomatic_semantics wikiPageWikiLinkText "axioms".
- Axiomatic_semantics wikiPageUsesTemplate Template:Formalmethods-stub.
- Axiomatic_semantics wikiPageUsesTemplate Template:Unreferenced.
- Axiomatic_semantics subject Category:Formal_specification_languages.
- Axiomatic_semantics subject Category:Logic_in_computer_science.
- Axiomatic_semantics subject Category:Programming_language_semantics.
- Axiomatic_semantics hypernym Approach.
- Axiomatic_semantics type Language.
- Axiomatic_semantics type ProgrammingLanguage.
- Axiomatic_semantics type Language.
- Axiomatic_semantics type Method.
- Axiomatic_semantics comment "Axiomatic semantics is an approach based on mathematical logic to proving the correctness of computer programs. It is closely related to Hoare logic.Axiomatic semantics define the meaning of a command in a program by describing its effect on assertions about the program state. The assertions are logical statements - predicates with variables, where the variables define the state of the program.".
- Axiomatic_semantics label "Axiomatic semantics".
- Axiomatic_semantics sameAs Q792533.
- Axiomatic_semantics sameAs Axiomatische_Semantik.
- Axiomatic_semantics sameAs Αξιωματική_σημασιολογία.
- Axiomatic_semantics sameAs Semántica_axiomática.
- Axiomatic_semantics sameAs Sémantique_axiomatique.
- Axiomatic_semantics sameAs Aksiomatska_semantika.
- Axiomatic_semantics sameAs 公理的意味論.
- Axiomatic_semantics sameAs Semântica_axiomática.
- Axiomatic_semantics sameAs m.02ks7z.
- Axiomatic_semantics sameAs Аксіоматична_семантика.
- Axiomatic_semantics sameAs Q792533.
- Axiomatic_semantics sameAs 公理语义学.
- Axiomatic_semantics wasDerivedFrom Axiomatic_semantics?oldid=665963150.
- Axiomatic_semantics isPrimaryTopicOf Axiomatic_semantics.