是否可以在关键应用程序中使用这种ada-to-c转换器？
PS：也欢迎译者到C(截至2003年,扩展名为gnu).
PPS：当说“gnu c99”时,它仅表示支持C99大多数gnu扩展,但不代表GCC.
SofCheck后来被AdaCore收购,我对AdaCore网站进行了非常简短的搜索,没有任何内容.如果追求商业解决方案对您来说是一个可行的选择,您可以通过sales@adacore.com询问他们. (至少得到一个价格.)
