Dynamic Semantics

Question 1

consists of semantic rules that can be checked during program execution

Answer 1

Dynamic semantics

Question 2

What are the three (3) semantic description methods?

Answer 2

1. Operational semantics
2. Denotational semantics
3. Axiomatic semantics

Question 3

method of describing the meaning of language constructs in terms of their effects on an ideal machine

Answer 3

Operational semantics

Question 4

formalizes the meanings of programming languages by constructing mathematical objects (denotations) to describe the meanings of language constructs

Answer 4

Denotational semantics

Question 5

a tool for proving the correctness of a program

Answer 5

Axiomatic semantics

Question 6

logical expressions used in axiomatic semantics

Answer 6

Assertions (or predicates)

Question 7

an assertion before a statement

Answer 7

Precondition

Question 8

an assertion that follows a statement

Answer 8

Postcondition

Question 9

The weakest precondition is the least restrictive precondition that will guarantee the validity of the associated precondition

Answer 9

true

Question 10

a method of inferring the truth of one (1) assertion on the basics of the values of other assertions

Answer 10

Inference rule

Question 11

The top part of an inference rules is called its

Answer 11

antecedent

Question 12

The bottom part of an inference rules is called its

Answer 12

consequent

Question 13

a logical statement that is assumed to be true. Therefore, an axiom is an inference rule without an antecedent.

Answer 13

Axiom