Ada - Language for Embedded Programming

Eda は組み込み向けのプルぐらﾐﾝｸﾞ言語です。
Ada Information Clearinghouseには、Adaに関するありとあらゆる情報を見つけられます。
あまり知られていないが、ボーイング（Boeing）７７７の９９パーセントのナビゲーションソフトウエアは、このAdaで書かれています。
コンパイラには、GPLライセンスのGNAT版があります。ドキュメントもキチンと整備されています。