[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