Deutsch   English   Français   Italiano  
<100sfqt$lm0v$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Ruvim <ruvim.pinka@gmail.com>
Newsgroups: comp.lang.forth
Subject: Re: QUIT and ABORT
Date: Sat, 24 May 2025 16:59:08 +0400
Organization: A noiseless patient Spider
Lines: 69
Message-ID: <100sfqt$lm0v$1@dont-email.me>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 24 May 2025 14:59:10 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6ad2e8855b6af68eee28163379a60f97";
	logging-data="710687"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+wKQj4UaSmuXs46DQpVL7p"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:WVidzz3KZfaoKqDCrZXtVnDC8VQ=
Content-Language: en-US
In-Reply-To: <956c844426013a9d8039bebd7f7c0a31@www.novabbs.com>

On 2025-05-24 14:23, mhx wrote:
> On Sat, 24 May 2025 9:20:57 +0000, Ruvim wrote:
> 
> [..]
>> In a standard system, any behavior that is not explicitly allowed by the
>> standard (and can be detected by a standard program) is prohibited.
> 
> This can't be falsified - there is no list which enumerates all possible
> behavior. 

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). (by design; of course, the standard may 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.

See also: <https://en.wikipedia.org/wiki/Falsifiability>


> Also, the effect of e.g. a random memory (hardware) error is
> not something that can be prohibited.

If you mean that the program cannot read from an allocated memory region 
due to a hardware error, then this should be an ambiguous condition.

OTOH, access to a random (not allocated) memory region is *explicitly* 
specified as an ambiguous condition.



>> In a standard program, any behavior that is not explicitly prohibited 
>> by the standard is allowed.
> 
> This can easily be falsified with a extensive test suite.

Typically, by a test suite you check whether a program conforms to the 
program's documentation (in the cases that are covered by the test suite).


Conceptually, a program can be falsified by checking that it enters to 
some ambiguous condition. That is, if a program triggers an ambiguous 
condition, then the program is not a standard program.

I count implicit ambiguous conditions as well as explicit. For example, 
somewhere in the standard it says: "A program shall not alter the 
returned string". Hence, if a program alters this string — it's an 
implicit ambiguous condition.

So a test suit for programs is a Forth system that stops with a specific 
message on *any* ambiguous condition.

NB: any test suite for programs proofs nonconformity only in some cases, 
it cannot proof conformity in all cases.




> 
> Should the first clause be dropped?

I don't think so.


--
Ruvim