4 ms·

A program is itself a formal specification of what an algorithm does.

• kiitos 3y ago
  Programs are implementations of specifications, they're not specifications themselves. Unless you're talking about like Coq or TLA+.