Definition, synonyms and related words
A study of formal semantics of computer languages, such as denotational semantics.