Verifying Toolchain Semantics

2014-10-02 Thread Ian Grant
Dear programming language types, I wrote this to try once again to explain what is the nature of the problem that one would have in verifying the integrity of _any_ software toolchain, whether it is aimed ultimately at the production of other software, or of hardware. http://livelogic.blogspo

Re: Verifying Toolchain Semantics

2014-10-02 Thread Mark H Weaver
Ian Grant writes: > Dear programming language types, > > I wrote this to try once again to explain what is the nature of the > problem that one would have in verifying the integrity of _any_ > software toolchain, whether it is aimed ultimately at the production > of other software, or of hardware