denotational semantics (Q1189746)

From Wikidata
Jump to navigation Jump to search
approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages
  • Scott–Strachey semantics (initially)
  • mathematical semantics (initially)
edit
Language Label Description Also known as
English
denotational semantics
approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages
  • Scott–Strachey semantics (initially)
  • mathematical semantics (initially)

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit