Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: mhx@iae.nl (mhx)
Newsgroups: comp.lang.forth
Subject: Re: QUIT and ABORT
Date: Sat, 24 May 2025 14:20:49 +0000
Organization: novaBBS
Message-ID: <12db9b3c24fa3d9dbc099b25e723f27d@www.novabbs.com>
References: <87bjtn2hct.fsf@gmail.com> <5069a2ba51509e4f92ffa680982a4e353ec45ab8@i2pn2.org> <vvlke3$2neud$1@dont-email.me> <vvvlin$1rk75$1@dont-email.me> <696f4a3105690a7ea898d1778a37d345cbd4c598@i2pn2.org> <1001gaa$2b9mr$2@dont-email.me> <9d4eb41927bc7282d1568054a0d94b5a0f60056b@i2pn2.org> <1006jsi$3js21$1@dont-email.me> <e32f5681efc287a2089300a61fc8db21d04ff7d0@i2pn2.org> <10076jg$3nh2i$1@dont-email.me> <2a3f2365e393969d8de858651cc9486806e2ad12@i2pn2.org> <1009s09$c9ih$1@dont-email.me> <4481f037e7bf4a8d7faa59640a9dcfac01c42226@i2pn2.org> <100b23g$g4a6$1@dont-email.me> <5ddd51973a3f163595605432f497ac65a5ed1336@i2pn2.org> <100c51f$sfr3$1@dont-email.me> <732e53d829317e715612f6941a69b62e7d38ac15@i2pn2.org> <100f2hm$1itg8$1@dont-email.me> <5b4885b76e5d683a9a55c51f6905d50aa86192ac@i2pn2.org> <100s31p$jh5t$1@dont-email.me> <956c844426013a9d8039bebd7f7c0a31@www.novabbs.com> <100sfqt$lm0v$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: i2pn2.org;
	logging-data="1737924"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="J+nubxJRM7ncpF4l6KLO+OONWmFAYJHVJegfwQXJ8vc";
User-Agent: Rocksolid Light
X-Rslight-Posting-User: 4e0dc1fdad1ead10b39e7eb5db19bf73d73e3ab3
X-Rslight-Site: $2y$10$G.CqzWfBM6QF6.YXq.qxPe5pJbAFO/R6KxSA6nCfYy1JKKbNMvxgm
X-Spam-Checker-Version: SpamAssassin 4.0.0

> The standard contains the list of standard words, and the behavior of
> each standard word is well specified (as far as a standard program
> concerns).

True, and verifiable.

> (by design; of course, the standard may contain mistakes)

You mean: Will contain mistakes :--)

> Therefore, the behavior of a standard system can be falsified using
> standard program examples. That is, if and only if the system deviates
> from the specified behavior, this can be demonstrated by some standard
> program.

What exactly do you want to do with this? It is not possible to test
all possible programs using all available words (e.g., we can always
add another word to a program). Thus the clause gives no guarantee
to a user and does not allow the vendor to claim anything.

Simple example:
A `standard program` from user A returns the wrong result. User A
claims this is because the Forth system from vendor B contains a
bug.

-marcel