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