For each item on the left below, select the best fit from the drop-down on the right. Items on the right can fit more than one item on the left.
Group of answer choices
Describing language semantics by building a compiler or interpreter in the same given language.
Operational
Describing language semantics by comparing language code to compiler output.
Translational
Describing language semantics by describing the behavior of syntax on a target machine.
Operational
Describing language semantics by associating syntactic structure with mathematical constructs
Denotational
Describing language semantics by associating pre and post logic predicates with syntactic structures.
Axiomatic
Describing language semantics by associating algebraic constructs with syntactic structures.
Algebraic
Breaking large syntactic structures into smaller components for the purpose of semantic descriptions.
Operational
An axiomatic rule that describes something true before, during, and after executing a loop.
Loop Invariant
An axiomatic rule that describes what is true before, and what is true after executing an if .. then ... else statement.
Conditional
An axiomatic construct {P} S {Q} where P and Q are logical predicates and S is a bit of language syntax.
Hoare's Triples
A situation where two different syntax structures have exactly the same semantics.
Semantic equivalence