mathematical semantics

Noun

 * 1)  A study of formal semantics of computer languages, such as denotational semantics.