A translator is ____ to ensure that it produces behavior described in the language definition.
A) verified
B) validated
C) proven
D) vetted

Question

Quizplus · Accepted Answer

Validating a translator means checking that it correctly adheres to the specifications defined in the language definition. While verifying, proving, and vetting are all similar concepts, they do not fully capture the idea of ensuring that a translator produces the expected behavior as defined in the language specification.

A Translator Is ____ to Ensure That It Produces Behavior