- axiomatic semantics (English)
- An approach based on mathematical logic to proving the correctness of computer programs, closely related to Hoare logic.
Translate axiomatic semantics
Learn how to say "axiomatic semantics" in other languages:
Browse our dictionary
Find other interesting words by browsing through our English dictionary.