In logic , formal semantics and parts of linguistics , the extension of a term In Computer science , denotational semantics is contrasted with operational semantics .

In Computer science , denotational semantics is contrasted with operational semantics .
