type checking (Q4001197)
(Redirected from Q13425206)
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