type-checking

See: Type checking

Type checking	Learning to program	Hungarian notation	bounds checking
compile time	compile	copy constructor	Differential calculus treatment of XP growth
typecast	Template	Lambda calculus	static
integer	dynamic	compiler	runtime
Chaos theory	variable	type	invariant
data	Programming