Re: Does a C89 compliant compiler exist?
From: Walter Roberson (roberson_at_ibd.nrc-cnrc.gc.ca)
Date: 03/16/05
- Next message: Neil Kurzman: "Re: C# - getting window list and changing activ window"
- Previous message: Ross A. Finlayson: "Re: enum as char ?"
- In reply to: Jack Klein: "Re: Does a C89 compliant compiler exist?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: 16 Mar 2005 04:43:40 GMT
In article <pnbf319hct3tt5f4elt7e4mgtmgljgdjls@4ax.com>,
Jack Klein <jackklein@spamcop.net> wrote:
:On the other hand, I
:imaging that proving a compiler is perfectly strictly conforming is a
:Turing problem.
In theory it isn't an instance of the Halting Problem --
the Halting Problem has to do with the analysis of arbitrary
programs of arbitrary size. Turing's theorem is not that you
cannot prove the haltability of fixed individual programs, but
rather that there is no program which can be applied to
analyze -every- program.
But it would probably be difficult anyhow.
-- Oh, to be a Blobel!
- Next message: Neil Kurzman: "Re: C# - getting window list and changing activ window"
- Previous message: Ross A. Finlayson: "Re: enum as char ?"
- In reply to: Jack Klein: "Re: Does a C89 compliant compiler exist?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
