McqMate
| Q. |
Axiomatic semantics specifies each statement of a language in terms of asemis |
| A. | predicate translation |
| B. | predicate transformer |
| C. | predicate q |
| D. | none of this |
| Answer» B. predicate transformer | |
View all MCQs in
Principles of Programming LanguagesNo comments yet