(Q4001197)

English

type checking

analysis and verification of data types in the source code of a computer program

  • typechecking

Statements

Identifiers

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit