Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Axiomatic_semantics> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items 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 wikiPageRevisionID "540479944".
- Axiomatic_semantics auto "yes".
- Axiomatic_semantics date "December 2009".
- Axiomatic_semantics hasPhotoCollection Axiomatic_semantics.
- Axiomatic_semantics subject Category:Formal_specification_languages.
- Axiomatic_semantics subject Category:Logic_in_computer_science.
- Axiomatic_semantics subject Category:Programming_language_semantics.
- Axiomatic_semantics type Abstraction100002137.
- Axiomatic_semantics type Communication100033020.
- Axiomatic_semantics type FormalSpecificationLanguages.
- Axiomatic_semantics type Language106282651.
- 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 label "Axiomatische Semantik".
- Axiomatic_semantics label "Semántica axiomática".
- Axiomatic_semantics label "Semântica axiomática".
- Axiomatic_semantics label "Sémantique axiomatique".
- Axiomatic_semantics label "公理的意味論".
- Axiomatic_semantics sameAs Axiomatische_Semantik.
- Axiomatic_semantics sameAs Αξιωματική_σημασιολογία.
- Axiomatic_semantics sameAs Semántica_axiomática.
- Axiomatic_semantics sameAs Sémantique_axiomatique.
- Axiomatic_semantics sameAs 公理的意味論.
- Axiomatic_semantics sameAs Semântica_axiomática.
- Axiomatic_semantics sameAs m.02ks7z.
- Axiomatic_semantics sameAs Q792533.
- Axiomatic_semantics sameAs Q792533.
- Axiomatic_semantics sameAs Axiomatic_semantics.
- Axiomatic_semantics wasDerivedFrom Axiomatic_semantics?oldid=540479944.
- Axiomatic_semantics isPrimaryTopicOf Axiomatic_semantics.