公理的意味論
1. Axiomatic semanticsAxiomatic 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.
Read “Axiomatic semantics” on English Wikipedia
Read “公理的意味論” on Japanese Wikipedia
Read “Axiomatic semantics” on DBpedia
Read “Axiomatic semantics” on English Wikipedia
Read “公理的意味論” on Japanese Wikipedia
Read “Axiomatic semantics” on DBpedia
Discussions
Log in to talk about this word.