Re:Airbus Chooses GNAT Pro Ada for Development of Unmanned A...
by kergonath on Wednesday September 16, 2020 @06:53AM
(#24491372)
That’s a bit old, though. Anyone can use GNAT now, and there are newer versions of the language. Even the discussion is dated: Ada 2012 is more widespread and there have been developments in SPARK.
[ Parent
| on HN ]