[SystemSafety] Critical systems Linux

Roderick Chapman roderick.chapman at googlemail.com
Thu Nov 22 23:41:49 CET 2018


On 22/11/2018 14:44, Olwen Morgan wrote:

> Of course, CCG will still face the same problems that I mentioned in 
> previous postings. 

I don't understand that... the compiler should be semantics-preserving,

so verified, unambiguous SPARK becomes C with the same semantics.

Why would a compiler _introduce_ ambiguity when there's no need to do so?

  - Rod




More information about the systemsafety mailing list