English edit

 
English Wikipedia has an article on:
Wikipedia

Noun edit

formal semantics (uncountable)

  1. The study of the semantics, or interpretations, of formal languages.
  2. (computer science) the rigorous mathematical study of the meaning of programming languages