formal semantics

English dictionary entry

Meanings

noun
  1. The study of the semantics, or interpretations, of formal languages.
  2. the rigorous mathematical study of the meaning of programming languages

Word forms

formal semantics
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.