mathematical semantics

/M AE0 TH AH0 M AE1 T IH0 K AH0 L S IH0 M AE0 N T IH0 K S/
noun
  1. 1

    (computer science) A study of formal semantics of computer languages, such as denotational semantics.