Usually means: Execution rules defining program behavior.
Definitions Related words Mentions
We found 7 dictionaries that define the word operational semantics:

General (3 matching dictionaries)
  1. Operational semantics: Wikipedia, the Free Encyclopedia
  2. operational semantics, Operational semantics: Dictionary.com

Computing (2 matching dictionaries)
  1. operational semantics: Free On-line Dictionary of Computing
  2. operational semantics: Encyclopedia

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

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

Definitions from Wikipedia (Operational semantics)

noun:  a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execution and procedures, rather than by attaching mathematical meanings to its terms (denotational semantics).


Words similar to operational semantics

Usage examples for operational semantics

Idioms related to operational semantics

Wikipedia articles (New!)

Words that often appear near operational semantics

Rhymes of operational semantics

Invented words related to operational 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