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