[′strȯŋ·lē ¦tīpt ′laŋ·gwij] (control systems) A high-level programming language in which the type of each variable must be declared at the beginning of the program, and the language itself then enforces rules concerning the manipulation of variables according to their types.