Re: Verifying Toolchain Semantics

[Ian Grant]

On Sun, Oct 5, 2014 at 1:42 PM, Ian Grant <address@hidden> wrote:
> [we] will be able to implement a C compiler in Microsoft Word BASIC, or in
> COBOL, and that will be capable of compiling GCC, if we had a year or
> so to wait while it does it ...

This is not true. Word BASIC or COBOL could easily write out an
executable binary defined by an abstract formal description in a text
file. It would take a while, but the binary would be able to compile
GCC pretty quickly.