McqMate
| 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 | |
View all MCQs in
Principles of Programming LanguagesNo comments yet