Declarative specifications are preferable for which of the following reasons?
- Declarative specifications are more abstract because they ignore implementation details, and consequently they are more concise than procedural specifications
- Declarative specifications focus on an operation’s interface, making it clearer how an operation interacts with its callers
- Procedural specifications may bias programmers toward the implementation used in the specification
- All of the mentioned