Sujet : Re: QUIT and ABORT
De : albert (at) *nospam* spenarnc.xs4all.nl
Groupes : comp.lang.forthDate : 24. May 2025, 20:49:29
Autres entêtes
Organisation : KPN B.V.
Message-ID : <nnd$443363ec$17e4f5d3@3977542249399dd6>
References : 1 2 3 4
User-Agent : trn 4.0-test77 (Sep 1, 2010)
In article <12db9b3c24fa3d9dbc099b25e723f27d@
www.novabbs.com>,
mhx <
mhx@iae.nl> wrote:
<SNIP>
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.
This is decidable by inspection, unless the standard is unclear.
Knuth says :
test can reveal the existence of defects, not the absence.
So you can not claim that a Forth system contains no bugs,
only that no bugs are known.
>
-marcel
Groetjes Albert
-- Temu exploits Christians: (Disclaimer, only 10 apostles)Last Supper Acrylic Suncatcher - 15Cm Round Stained Glass- Style WallArt For Home, Office And Garden Decor - Perfect For Windows, Bars,And Gifts For Friends Family And Colleagues.