formal semantics

== English == === Noun === formal semantics (uncountable) The study of the semantics, or interpretations, of formal languages. (computer science) the rigorous mathematical study of the meaning of programming languages