Usually means: Formal specification of program meaning.
Definitions Related words Mentions
We found 8 dictionaries that define the word axiomatic semantics:

General (2 matching dictionaries)
  1. axiomatic semantics: Dictionary.com
  2. Axiomatic semantics: Wikipedia, the Free Encyclopedia

Computing (3 matching dictionaries)
  1. axiomatic semantics: Free On-line Dictionary of Computing
  2. axiomatic semantics: Dictionary of Algorithms and Data Structures
  3. axiomatic semantics: Encyclopedia

Medicine (1 matching dictionary)
  1. online medical dictionary (No longer online)

Science (2 matching dictionaries)
  1. FOLDOP - Free On Line Dictionary Of Philosophy (No longer online)

Definitions from Wikipedia (Axiomatic semantics)

noun:  an approach based on mathematical logic for proving the correctness of computer programs.


Words similar to axiomatic semantics

Usage examples for axiomatic semantics

Idioms related to axiomatic semantics

Wikipedia articles (New!)

Words that often appear near axiomatic semantics

Rhymes of axiomatic semantics

Invented words related to axiomatic semantics




Home   Reverse Dictionary / Thesaurus   Datamuse   Word games   Spruce   Feedback   Dark mode   Random word   Help


Color thesaurus

Use OneLook to find colors for words and words for colors

See an example

Literary notes

Use OneLook to learn how words are used by great writers

See an example

Word games

Try our innovative vocabulary games

Play Now

Read the latest OneLook newsletter issue: Threepeat Redux