A sound$-$type system is characterized by

a$.$ A situation where Compiled programs are guaranteed to run without type errors

b$.$ A situation where all type checks are performed before execution of the program

c$.$ A system where variables can change their types during program execution

d$.$ A system where the compiler does not perform type$-$checking