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