formal semantics

Noun

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