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.