denotational semantics

Computer, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Science, Sciences An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages.