operational semantics (Q1930895)

From Wikidata
Jump to: navigation, search
category of formal programming language semantics in which certain desired properties of a program are verified by constructing proofs from logical statements about its execution, procedures,rather than by attaching mathematical meanings to its terms
edit
Language Label Description Also known as
English
operational semantics
category of formal programming language semantics in which certain desired properties of a program are verified by constructing proofs from logical statements about its execution, procedures,rather than by attaching mathematical meanings to its terms

    Statements

    Identifiers

     
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit