[SystemSafety] Critical systems Linux
Ben Brosgol
brosgol at adacore.com
Thu Nov 22 15:31:42 CET 2018
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.
More information about the systemsafety
mailing list