Wiktionary
mathematical semantics
n. (context computer science English) A study of formal semantics of computer languages, such as denotational semantics.