(programming) Enforcement of type rules at compile time rather than at run time. Static typing catches more errors at compile time than dynamic typing.
Last updated: 2004-07-20
Updated: Fri Oct 21 18:02:37 2016
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985