Toll Free: (800) 790-3680

"axiomatic semantics" Definition & Translations

Search for an expression in any language pair... Dictionary Home


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.


Get Quote

Translation Services USA® is the registered trademark of Translation Services USA LLC