On Thu, May 15, 2025 at 06:03:01PM -0700, Marc Petit-Huguenin wrote:
> A specification is always declarative.  Code and algorithms are always
> prescriptive, and are actually examples of implementation of a
> specification.  That means that there are many programs and many
> algorithms that would be correct for a specific specification.
> Because of that, it is not possible to have one single program or
> algorithm that can describe all possible aspects of the specification.
> Here's a concrete example:

The code wouldn't be complete.  The important thing is to capture
abstract APIs, message flows, and codec details.

_______________________________________________
rfc-interest mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to