denotational semantics (suomeksi)

Määritelmät:

(lb, en, computer science) An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages.