Q16: In denotational semanties, the state changes are defined by (a) rigorous mathematical functions (b) coded algorithms (c) parse tree (d) precondition and post conditions 017: Which option can complete the following sentence correctly: "In........ themeaning of a pecific statement is defined by its precondition and iRs postcondition. In effect, the two assertions speeify recisely the effect of executing the statement. (a) Operational Semantics (b) Denotational Semantics (c) Axiomatic Semantics (d) Attribute Semantics Which of the following is NOT correct for Axiomatic Semantics? Axiomatic Semantics are based on formal logic (mathematical logic) The original purpose of Axiomatic Semantics is for formal program verification Axioms or inference rules are defined for each statement type in the language Can be an aid to language design, but little use to language users because of its complexity