A(n)____ specification allows us to construct a language interpreter directly from a formal specification.
A) abstract
B) executable
C) reduction
D) inference

Question

Quizplus · Accepted Answer

An executable specification is one that can be executed by a computer to produce the desired behavior. This allows us to directly construct a language interpreter from the specification without any translation. Conversely, an abstract specification is one that only specifies the desired behavior without detailing how it should be implemented. Reduction and inference are not directly related to language interpreter construction.

A(n)____ Specification Allows Us to Construct a Language Interpreter Directly