13.ramming languages, a(n)__________ refers to a collection of rules that assign a property to various constructs in a computer program, such as variables, expressions, functions or modules, with the end goal of reducing the number of bugs by verifying that data is represented properly throughout a program. (A) variable system (B) type system (C) formal system (D) logical model (E) inference system.