Question

What is being imposed on each subset to ensure that it conforms to the subset?

(a) A parser to parse the code

(b) A parser that parses and adds to the subset

(c) A static verifier that parses code

(d) A predefined function to parse the code

Answer 1

Right option is (c) A static verifier that parses code

Best explanation: Each subset is coupled with a static verifier that parses code to ensure that it conforms to the subset.