type checking (Q4001197)
Jump to navigation
Jump to search
analysis and verification of data types in the source code of a computer program
- typechecking
Language | Label | Description | Also known as |
---|---|---|---|
English | type checking |
analysis and verification of data types in the source code of a computer program |
|
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- cswiki Typová kontrola
- itwiki Type check