Declarative specifications are preferable for which of the following reasons?

• A. Declarative specifications are more abstract because they ignore implementation details, and consequently they are more concise than procedural specifications
• B. Declarative specifications focus on an operation‚Äö√Ñ√∂‚àö√ë‚àö¬•s interface, making it clearer how an operation interacts with its callers
• C. Procedural specifications may bias programmers toward the implementation used in the specification
• D. All of the mentioned