formal semantics noun2 •The study of the semantics, or interpretations, of formal languages. •the rigorous mathematical study of the meaning of programming languages
