Q.

Postcondition is

A. predicate p required to hold after execution of statement s
B. predicate q such that execution of s terminates & p holds upon termination
C. either a or b
D. both true
Answer» A. predicate p required to hold after execution of statement s
2.2k
0
Do you find this helpful?
16

View all MCQs in

Principles of Programming Languages

Discussion

No comments yet