verifying that a variable, expression or value has the declared type
Type checking is the process of verifying that a program fragment has a particular type. It may be performed statically (at compile time) or dynamically (at run time).
For more general questions about types in programming languages, see typing.
|
created |
11 years, 8 months ago |
|
viewed |
31 times |
|
active |
11 years, 8 months ago |
|
editors |
1 |
