[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Verifying Toolchain Semantics
From: |
Ian Grant |
Subject: |
Re: Verifying Toolchain Semantics |
Date: |
Sun, 5 Oct 2014 14:19:42 -0400 |
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.
- Re: Verifying Toolchain Semantics, (continued)
- Re: Verifying Toolchain Semantics, Ian Grant, 2014/10/05
- Re: Verifying Toolchain Semantics, Mike Gerwitz, 2014/10/06
- Re: Verifying Toolchain Semantics, Ian Grant, 2014/10/07
- Re: Verifying Toolchain Semantics, Mark H Weaver, 2014/10/07
- Re: Verifying Toolchain Semantics, Ian Grant, 2014/10/07
- Re: [Lightning] Verifying Toolchain Semantics, Philip Herron, 2014/10/07
- Re: [Lightning] Verifying Toolchain Semantics, Ian Grant, 2014/10/07
- Re: Verifying Toolchain Semantics, Mark H Weaver, 2014/10/08
- Re: Verifying Toolchain Semantics, Mike Gerwitz, 2014/10/07
Re: Verifying Toolchain Semantics, Ian Grant, 2014/10/05
- Re: Verifying Toolchain Semantics,
Ian Grant <=
Re: Verifying Toolchain Semantics, Ian Grant, 2014/10/05