Is there any source-source converter (translator) from Ada (95, 2005) to C? How complete are they (can they convert every Ada feature to gnu c99 + pthreads + POSIX)?
Is it possible to use such an ada-to-c translator in critical applications?
PS: C ++ translators (until 2003 with gnu extensions) are also welcome.
PPS: when “gnu c99” is specified, this means that only C99 + most gnu extensions are supported, but not GCC.
I do not know any open translator Ada-to-C. The only one I knew about was SofCheck, which reportedly was very good.
SofCheck AdaCore, AdaCore , . sales@adacore.com, . ( , .)
Ada (, , Ada, ), , , , C99 ++, .
, Sofcheck ; .
(?) , ASIS Ada. , , Ada , , Ada, . , , "" . ( ). , Ada rendezvous , . , ; , - - .
. .