Axiomatic semantics specifies each statement of a language in terms of asemis

M

Mr. Dubey

🎓 Coach ⭐ 104.60K Points

📊 Principles of Programming Languages

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

💬 Discuss

✅ Correct Answer: (B) predicate transformer

You must be Logged in to update hint/solution

💬 Discussion

📊 Question Analytics

👁️

916

Total Visits

📽️

3 y ago

Published

🎖️

Mr. Dubey

Publisher

📈

83%

Success Rate