Modern Ada to C/C++ translator
ada, c, code-translation
Solution
I don't know of any open source Ada-to-C translator. The only one I knew of at all was SofCheck's, which was reportedly pretty good.
SofCheck has since been bought by AdaCore, and I did a very brief search of the AdaCore website for the translator, and nothing jumped out. You could ask them at sales@adacore.com, if pursuing a commercial solution is a viable option for you. (At least get a price.)
Problem
Is there any source-to-source converter (translator) from Ada (95, 2005) to C? How full they are (can they convert every feature of Ada into gnu c99 + pthreads + POSIX)? Is it possible to use such ada-to-c translator in critical applications? PS: Translators to C++ (up to 2003 with gnu extensions) are welcome too. PPS: when said "gnu c99", it means only that C99 + most gnu extensions are supported, but don't mean the GCC.