formal semantics

noun

The study of the semantics, or interpretations, of formal languages.

Meanings

nounformal semantics (uncountable)
  1. uncountableThe study of the semantics, or interpretations, of formal languages.
  2. uncountablecomputerthe rigorous mathematical study of the meaning of programming languages

Translations

French sémantique formelle
  • sémantique formellestudy of the semantics of formal languages
Polish semantyka formalna
  • semantyka formalnastudy of the semantics of formal languages
Cite this entry
APA

formal semantics. (n.d.). In WatkinsX Dictionary. Retrieved November 2, 2026, from https://dictionary.watkinsx.com/word/formal%20semantics

MLA

“formal semantics.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/formal%20semantics. Accessed November 2, 2026.

Chicago

WatkinsX Dictionary, s.v. “formal semantics,” accessed November 2, 2026, https://dictionary.watkinsx.com/word/formal%20semantics.

Source: formal semantics on Wiktionary, CC BY-SA 4.0.