[SystemSafety] Critical systems Linux

[Olwen Morgan]

Thanks for the clarification :-)

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


On 22/11/2018 14:31, Ben Brosgol wrote:
> On 11/22/2018 5:47 AM, Olwen Morgan wrote:
>> Incidentally, you're in the same boat with other languages whose 
>> compilers are implemented by translating their source code to C. AFAI 
>> recall, the Ada compiler in the GNAT tool set falls into this category.
>>
>
> Actually the GNAT Ada compiler does not generate C source code, it 
> comprises an Ada front end and the gcc code generator for the relevant 
> target processor.
>
> AdaCore does have a product, the GNAT Common Code Generator (CCG), 
> which compiles a SPARK-like subset of Ada into C source code, but 
> that's a separate tool.
>
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
> Manage your subscription: 
> https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety
>