Fill in the blank The corresponding step in the axiomatic se

Fill in the blank: The corresponding step in the axiomatic semantics of a while loop is finding an assertion called a _____, which is crucial to finding the weakest precondition. _____, or meaning, should follow directly from _____, or form. _____ means the ability to define and then use complicated structures or operations in ways that allow many of the details to be ignored. The _____ produces a program in a different language, at an intermediate level between the source program and the final output of the compiler: the machine language program.4

Solution

The corresponding step in the axiomatic semantics of a while loop is finding an assertion called a _______ which is crucial to finding the weakest precondition.

Answer:-

Loop Invariant

Explanation:-

The corresponding step in the axiomatic semantics of a while loop is finding an assertion called a loop invariant, which is crucial to finding the weakest precondition.

____________ means the ability to define and then use complicated structures or operations in ways that allow many of the details to be ignored.

Answer:-

Abstraction

Explanation:-

Abstraction is an object-oriented modeling principle. Through abstraction, we will design/declare object operations those are to be implemented by different sub type programmers of this object.

The _____ produces a program in a different language, at an intermediate level between the source program and the final output of the compiler.

Answer:-

Compiler

Explanation:-

The compiler is a translation program which converts a source program into a machine level program at an intermediate level between the source program and the final output of the compiler.