Which formalism for describing dynamic semantics would you use for each of these needs, and why? a. prove that some code

[answerhappygod]

Which formalism for describing dynamic semantics would you use
for each of these needs, and why?
a. prove that some code is correct
b. describe what machine code a compiler should generate for
some specific control structure
c. formally describe the semantics of some language
construct
Hint: Denotational semantics describes meaning in terms of
compositional meanings of expressions, and before-after mappings
specifying how the state changes after the execution of control
structures; operational semantics describes the sequence of actions
that would be performed by a machine implementing that construct;
and axiomatic semantics involves making assertions, including
conditional assertions about postconditions that depend on the
values of preconditions.