From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: * X-Spam-Status: No, score=1.5 required=5.0 tests=BAYES_20,INVALID_MSGID, PLING_QUERY,PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 1014db,4873305131bf4d94 X-Google-Attributes: gid1014db,public X-Google-Thread: 103376,4873305131bf4d94 X-Google-Attributes: gid103376,public X-Google-Thread: 109fba,4873305131bf4d94 X-Google-Attributes: gid109fba,public X-Google-Thread: fdb77,4873305131bf4d94 X-Google-Attributes: gidfdb77,public From: boyd@france3.fr (Boyd Roberts) Subject: Re: How big is an int? (was: Yet another stupid language war (was: ... the only languages you need!!)) Date: 1997/11/13 Message-ID: <64fbr2$76k$1@route1.mdrf.france3.fr>#1/1 X-Deja-AN: 289275853 Distribution: world Sender: boyd@system.mdrf.france3.fr (Boyd Roberts) References: <879381995snz@genesis.demon.co.uk> <879433137snz@genesis.demon.co.uk> Organization: France 3 Newsgroups: comp.lang.ada,comp.lang.c,comp.lang.c++,comp.lang.java.advocacy Date: 1997-11-13T00:00:00+00:00 List-Id: In article <879433137snz@genesis.demon.co.uk>, fred@genesis.demon.co.uk (Lawrence Kirby) writes: >In article <879381995snz@genesis.demon.co.uk> > fred@genesis.demon.co.uk "Lawrence Kirby" writes: > >... > >>Simply knowing a program is strictly conforming does not mean you can >>predict what it will output. However if you do know what input a >>strictly conforming program receives you should be able to predict from >>the standard alone what output it generates (although I'm not 100% sure of >>that). > >After sleeping on it it is fairly obvious that isn't true. Obviously, because you're talking about the halting problem. -- Boyd Roberts UTM N 31 447109 5411310 En fin, bon, bref, si tu veux, point � la ligne, voil� quoi -- Jacques SPAT: jp@gte.net