While I agree with you on the general idea, I think this is too restrictive: > A specification language does not tell a machine what operations to perform, a p

While I agree with you on the general idea, I think this is too restrictive: > A specification language does not tell a machine what operations to perform, a programming language does. There is a style of programming (usually functional or relational programming) that does not bother itself with operations, and which aims to merely describe a result. Specifications are still different from implementations written in such a style of programming.